
Registered user since Tue 3 Jan 2017
Name: Petr Novotny
Country: Austria
Affiliation: IST Austria
Personal website: http://pub.ist.ac.at/~pnovotny/
Research interests: Verification, Probabilistic systems, Planning under uncertainty
Contributions
POPL 2018-profile
View general profile
View general profile