TY  - RPRT
TI  - CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
AU  - Koundinya Vajjha
AU  - Avraham Shinnar
AU  - Vasily Pestun
AU  - Barry Trager
AU  - Nathan Fulton
PY  - 2020
UR  - https://arxiv.org/abs/2009.11403
ID  - 2009.11403
ER  -