2020

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

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

  Article in Proceedings

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

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

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

  Article in Proceedings

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, year: 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