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