doc. RNDr. Tomáš Brázdil, Ph.D.

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

• Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu CHMELÍK Martin FELLNER Andreas KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification: 27th International Conference, CAV 2015, rok: 2015

• Long-Run Average Behaviour of Probabilistic Vector Addition Systems

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

  Článek ve sborníku

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

• MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives

  BRÁZDIL Tomáš KRISHNENDU Chatterjee FOREJT Vojtěch KUČERA Antonín

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings., rok: 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

  Článek ve sborníku

  Quantitative Evaluation of Systems, rok: 2015

• Runtime analysis of probabilistic programs with unbounded recursion

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín HUTAŘOVÁ VAŘEKOVÁ Ivana

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2015, ročník: 81, vydání: 1, DOI

2014

• Branching-time model-checking of probabilistic pushdown automata

  BRÁZDIL Tomáš BROŽEK Václav FOREJT Vojtěch KUČERA Antonín

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2014, ročník: 80, vydání: 1, DOI

• Efficient Analysis of Probabilistic Programs with an Unbounded Counter

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

  Článek v odborném periodiku

  Journal of the ACM, rok: 2014, ročník: 61, vydání: 6, DOI

• Markov Decision Processes with Multiple Long-Run Average Objectives

  BRÁZDIL Tomáš BROŽEK Václav CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2014, ročník: 10, vydání: 1, DOI