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 | Stochastic Invariants for Probabilistic Termination | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile