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

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Paper 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

  Paper 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

  Peer-reviewed scientific article

  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

  Paper 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

  Paper 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

  Paper 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

  Paper in proceedings

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

• Stochastic Invariants for Probabilistic Termination

  CHATTERJEE Krishnendu NOVOTNÝ Petr ŽIKELIĆ Djordje

  Paper in proceedings

  Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), year: 2017

2016

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

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr HASHEMINEZHAD Rouzbeh

  Paper in proceedings

  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), year: 2016

• Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

  BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr

  Paper in proceedings

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016