A Dynamic Programming Formulation for the Nonlinear Filter | IEEE Conference Publication | IEEE Xplore