Registered user since Tue 3 Jan 2017

Name: Petr Novotny

Country: Austria

Affiliation: IST Austria

Personal website: http://pub.ist.ac.at/~pnovotny/

Research interests: Verification, Probabilistic systems, Planning under uncertainty

POPL 2018 Activities

• Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Research Papers-track in POPL 2018
• Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Artifact Evaluation-track in POPL 2018
• Show activities from other conferences