Jin-Won Kim, Prashant G. Mehta, Sean P. Meyn: What is the Lagrangian for Nonlinear Filtering? CDC 2019: 1607-1614