Registered user since Wed 25 Nov 2020
Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Personal website: https://kodyvajjha.github.io/
GitHub: https://github.com/kodyvajjha
Research interests:Formal Verification, Reinforcement Learning, Discrete Geometry, Optimal Control
Contributions
POPL 2021-profile
View general profile
View general profile