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

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

• Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent

  BRÁZDIL Tomáš BARTOCCI Ezio MILIOS Dimitrios SANGUINETTI Guido BORTOLUSSI Luca

  Článek ve sborníku

  Proceedings of QEST 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

• 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