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

2018

• 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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

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

  AGRAWAL Sheshansh CHATTERJEE Krishnendu NOVOTNÝ Petr

  Článek ve sborníku

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

2017

• Optimizing Expectation with Guarantees in POMDPs

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

  Článek ve sborníku

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

• Stochastic Invariants for Probabilistic Termination

  CHATTERJEE Krishnendu NOVOTNÝ Petr ŽIKELIĆ Djordje

  Článek ve sborníku

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

2016

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

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr HASHEMINEZHAD Rouzbeh

  Článek ve sborníku

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

• Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

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

  Článek ve sborníku

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

• Stability in Graphs and Games

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

  Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, rok: 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ří

  Článek v odborném periodiku

  Journal of Cardiovascular Medicine, rok: 2015, ročník: 16, vydání: 10, DOI