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

2020

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

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

  Article in Proceedings

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

• Termination Analysis of Probabilistic Programs with Martingales

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr

  Chapter of a book

  Foundations of Probabilistic Programming, year: 2020, number of pages: 38 s.

2019

• Bidding Games on Markov Decision Processes

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

  Article in Proceedings

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

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Article in Proceedings

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

• On the Complexity of Value Iteration

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

  Article in Proceedings

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

2018

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

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr HASHEMINEZHAD Rouzbeh

  Article in Periodical

  ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS), year: 2018, volume: 40, edition: 2, DOI

• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

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

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018

• Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives

  CHATTERJEE Krishnendu ELGYUTT Adrián NOVOTNÝ Petr ROUILLÉ Owen

  Article in Proceedings

  Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), year: 2018

• Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs

  AGRAWAL Sheshansh CHATTERJEE Krishnendu NOVOTNÝ Petr

  Article in Proceedings

  PACMPL (Proceedings of POPL'18), year: 2018

2017

• Optimizing Expectation with Guarantees in POMDPs

  CHATTERJEE Krishnendu NOVOTNÝ Petr PÉREZ Guillermo A. RASKIN Jean-Francois ŽIKELIĆ Djordje

  Article in Proceedings

  Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI), year: 2017