A Concise Mathematical Description of Active Inference in Discrete Time