Registered user since Fri 10 Jul 2015
Name:Amir Kafshdar Goharshady
Country:China
Affiliation:Hong Kong University of Science and Technology
Personal website:http://pub.ist.ac.at/~akafshda/
Contributions
| PLDI 2021 | Polynomial Reachability Witnesses via Stellensätze Quantitative Analysis of Assertion Violations in Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile