Feynman–Kac formula