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

2016

• Stability in Graphs and Games

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

  Paper 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

  Paper 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ří

  Peer-reviewed scientific article

  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

  Paper 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

  Paper 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

  Paper 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

  Paper 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

2013

• Determinacy in Stochastic Games with Unbounded Payoff Functions

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

  Paper in proceedings

  Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013

• Solvency Markov Decision Processes with Interest

  BRÁZDIL Tomáš CHEN Taolue FOREJT Vojtěch NOVOTNÝ Petr SIMAITIS Aistis

  Paper in proceedings

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), year: 2013

2012

• Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

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

  Paper in proceedings

  Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012