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

2019

• Strategy Representation by Decision Trees with Linear Classifiers

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

  Article in Proceedings

  Quantitative Evaluation of Systems (QEST 2019), year: 2019

• Unbounded Orchestrations of Transducers for Manufacturing

  ALECHINA Natasha BRÁZDIL Tomáš DE GIACOMO Giuseppe FELLI Paolo LOGAN Brian VARDI Moshe

  Article in Proceedings

  Proceedings of the AAAI Conference on Artificial Intelligence, year: 2019

2018

• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

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

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018

• Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes

  ASHOK Pranav BRÁZDIL Tomáš KŘETÍNSKÝ Jan SLÁMEČKA Ondřej

  Article in Proceedings

  Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), year: 2018

• Solving Patrolling Problems in the Internet Environment

  BRÁZDIL Tomáš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., year: 2018

• Strategy Representation by Decision Trees in Reactive Synthesis

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

  Article in Proceedings

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

2017

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

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

  Article in Periodical

  Performance Evaluation, year: 2017, volume: 116, edition: 1, DOI

• Trading performance for stability in Markov decision processes

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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2017, volume: 84, edition: 2017, DOI

2016

• Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

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

  Article in Proceedings

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 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

  Article in Proceedings

  Proceedings of QEST 2016, year: 2016