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

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

2014

• Minimizing Running Costs in Consumption Systems

  BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  Computer Aided Verification, year: 2014

• Zero-reachability in probabilistic multi-counter automata

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

  Article in Proceedings

  Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2014