Formalization of a Stochastic Approximation Theorem
- Koundinya Vajjha
- Barry Trager
- et al.
- 2022
- ITP 2022
Conference paper
Publications
2 results for Koundinya Vajjha
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Conference paper