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 2021 | Proving Non-termination by Program Reversal | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile