Registered user since Fri 10 Jul 2015
Name: Amir Kafshdar Goharshady
Country: Austria
Affiliation: IST Austria, Austria
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