Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Koundinya Vajjha

Registered user since Wed 25 Nov 2020

Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Research interests:Formal Verification, Reinforcement Learning, Discrete Geometry, Optimal Control


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