Feynman-Kac-Type Formulae and Gibbs Measures