Registered user since Wed 25 Nov 2020
Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Personal website:https://kodyvajjha.github.io/
Research interests:Formal Verification, Reinforcement Learning, Discrete Geometry, Optimal Control
Contributions
| CPP 2021 | A Formal Proof of PAC Learnability for Decision Stumps CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile