2013

• Determinacy in Stochastic Games with Unbounded Payoff Functions

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

  Article 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

  Article 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

  Article in Proceedings

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

• Minimizing Expected Termination Time in One-Counter Markov Decision Processes

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

  Article in Proceedings

  Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012