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

• Stochastic Invariants for Probabilistic Termination

  CHATTERJEE Krishnendu NOVOTNÝ Petr ŽIKELIĆ Djordje

  Article 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

  Article 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

  Article in Proceedings

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

• Stability in Graphs and Games

  BRÁZDIL Tomáš FOREJT Vojtěch KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  27th International Conference on Concurrency Theory, CONCUR 2016, year: 2016

• Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)

  BRÁZDIL Tomáš NOVOTNÝ Petr CHATTERJEE Krishnendu CHMELÍK Martin GUPTA Anchit

  Article in Proceedings

  Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, year: 2016

2015

• Left atrium assessment: The evolving role of MRI

  PANOVSKÝ Roman PLEVA M. FEITOVÁ V. KRUZLIAK P. MELUZÍN Jaroslav KINCL Vladimír NOVOTNÝ Petr VANÍČEK Jiří

  Article in Periodical

  Journal of Cardiovascular Medicine, year: 2015, volume: 16, edition: 10, DOI

• Long-Run Average Behaviour of Probabilistic Vector Addition Systems

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

  Article in Proceedings

  30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 2015

• Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

  BRÁZDIL Tomáš KORENČIAK Ľuboš KRČÁL Jan NOVOTNÝ Petr ŘEHÁK Vojtěch

  Article in Proceedings

  Quantitative Evaluation of Systems, year: 2015