![Petr Novotný](https://popl17.sigplan.org/getProfileImage/petrnovotny/38065583-23a0-48b5-9582-0cd75aa7f0bf/small.jpg?1712051488000)
Registered user since Tue 3 Jan 2017
Name:Petr Novotný
Country:Austria
Affiliation:IST Austria
Research interests:Verification, Probabilistic systems, Planning under uncertainty
Contributions
POPL 2017-profile
View general profile
View general profile