Kalman filter
The PDF at the previous timestep is inductively assumed to be the estimated state and covariance. This is justified because, as an optimal estimator, the Kalman filter makes best use of the measurements, therefore the PDF for formula_130 given the measurements formula_131 is the Kalman filter estimate.