POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Petr Novotný
Petr Novotný

Registered user since Tue 3 Jan 2017

Name:Petr Novotný
Country:Austria
Affiliation:IST Austria
Personal website:http://pub.ist.ac.at/~pnovotny/
Research interests:Verification, Probabilistic systems, Planning under uncertainty

Contributions

POPL 2018 Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
Show activities from other conferences

POPL 2018-profile
View general profile