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

2018

• Strategy Representation by Decision Trees in Reactive Synthesis

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KŘETÍNSKÝ Jan TOMAN Viktor

  Stať ve sborníku

  24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), rok: 2018

2017

• Policy learning in continuous-time Markov decision processes using Gaussian Processes

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

  Recenzovaný odborný článek

  Performance Evaluation, rok: 2017, ročník: 116, vydání: 1, DOI

• Trading performance for stability in Markov decision processes

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

  Recenzovaný odborný článek

  Journal of Computer and System Sciences, rok: 2017, ročník: 84, vydání: 2017, DOI

2016

• Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

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

  Stať 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

  Stať 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

  Stať 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

  Stať 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

  Stať 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

  Stať 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

  Stať 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