conf.researchr.org / Petr Novotný
![Petr Novotný](https://conf.researchr.org/getProfileImage/petrnovotny/8d017ca1-52c5-4ae3-8742-393beb892447/small.jpg?1712051488000)
Registered user since Tue 3 Jan 2017
Name:Petr Novotný
Country:Czechia
Affiliation:Masaryk University
Personal website: http://pub.ist.ac.at/~pnovotny/
Research interests:Verification, Probabilistic systems, Planning under uncertainty
Contributions