State Estimation for Linear Systems with Non-Gaussian Measurement Noise via Dynamic Programming | Synapse