Petr Novotný -

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	Author of Proving Non-termination by Program Reversal within the PLDI-track
POPL 2018	Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Research Papers-track Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Artifact Evaluation-track
POPL 2017	Author of Stochastic Invariants for Probabilistic Termination within the POPL-track
POPL 2016	Author of Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs within the Research Papers-track