![Petr Novotný](https://pldi24.sigplan.org/getProfileImage/petrnovotny/b8966ba7-7cfb-4b5f-8f2c-9e4677f8b104/small.jpg?1720987563000)
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
PLDI 2024-profile
View general profile
View general profile