Fundamentals of Kalman Filters

The prediction step of the Kalman filter is as follows:

$\hat{x}_{k|k-1} = F_k \hat{x}_{k-1|k-1}$

Implementation example (Python):

x = F @ x