Petr Novotný - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

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

2018

POPL

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