TY  - RPRT
TI  - Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
AU  - Mark Chevallier
AU  - Jacques Fleuriot
PY  - 2021
UR  - https://arxiv.org/abs/2112.05996
ID  - 2112.05996
ER  -