( en | de | ru )

 

Disambiguation of "Novotný, Petr"

Author of the publication

copydeleteadd this publication to your clipboard
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs.

, , and . Proc. ACM Program. Lang., 2 (POPL): 34:1-34:32 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Petr Novotný

Katharina Novotný

Luká Novotný

Johannes Novotný

Rudolf Novotny

 

Other publications of authors with the same name

Zero-reachability in probabilistic multi-counter automata., , , , and . CSL-LICS, page 22:1-22:10. ACM, (2014)Editorial H-score as a metric of inner authenticity for national scientific journals - Pilot study for the field of pedagogy., , , and . Learn. Publ., 36 (2): 194-204 (April 2023)Efficient Strategy Synthesis for MDPs with Resource Constraints., , , , and . CoRR, (2021)Games on Graphs., , , , , , , , , and 7 other author(s). CoRR, (2023)On Lexicographic Proof Rules for Probabilistic Termination., , , , and . Formal Aspects Comput., 35 (2): 11:1-11:25 (June 2023)Stochastic invariants for probabilistic termination., , and . POPL, page 145-160. ACM, (2017)Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption., , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 640-656. Springer, (2021)Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes., , , and . AAAI, page 9794-9801. AAAI Press, (2020)Long-Run Average Behaviour of Probabilistic Vector Addition Systems., , , and . LICS, page 44-55. IEEE Computer Society, (2015)Efficient Algorithms for Checking Fast Termination in VASS., , , , and . CoRR, (2017)