Authors Search About

Jhala, Ranjit

1 publications

UAI 2005 Counterexample-Guided Planning Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy