Zaslat SMS: Feynman-Kac-type theorems and Gibbs measures on path space