a unified theory of linearly solvable optimal control .
General duality between optimal control and estimation