doc. RNDr. Petr Novotný, Ph.D.

2021

• On Lexicographic Proof Rules for Probabilistic Termination

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ZÁREVÚCKY Jiří ŽIKELIĆ Djordje

  Článek ve sborníku

  24th International Symposium on Formal Methods, FM 2021, rok: 2021

• Proving non-termination by program reversal

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ŽIKELIĆ Djordje

  Článek ve sborníku

  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), rok: 2021

2020

• Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications

  CHATTERJEE Krishnendu CHMELÍK Martin KARKHANIS Deep NOVOTNÝ Petr ROYER Amélie

  Článek ve sborníku

  Proceedings of the International Conference on Automated Planning and Scheduling, rok: 2020

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

  BLAHOUDEK František BRÁZDIL Tomáš NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Článek ve sborníku

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, rok: 2020

• Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu NOVOTNÝ Petr VAHALA Jiří

  Článek ve sborníku

  The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, rok: 2020

• Termination Analysis of Probabilistic Programs with Martingales

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr

  Kapitola v knize

  Foundations of Probabilistic Programming, rok: 2020, počet stran: 38 s.

2019

• Bidding Games on Markov Decision Processes

  AVNI Guy HENZINGER Thomas A. IBSEN-JENSEN Rasmus NOVOTNÝ Petr

  Článek ve sborníku

  Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings., rok: 2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, rok: 2019

• On the Complexity of Value Iteration

  BALAJI Nikhil KIEFER Stefan NOVOTNÝ Petr PÉREZ Guillermo A. SHIRMOHAMMADI Mahsa

  Článek ve sborníku

  Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), rok: 2019

2018

• Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr HASHEMINEZHAD Rouzbeh

  Článek v odborném periodiku

  ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS), rok: 2018, ročník: 40, vydání: 2, DOI