The relationship between dynamic programming and active inference: the discrete, finite-horizon case