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

2022

• On-the-fly Adaptation of Patrolling Strategies in Changing Environments

  BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 2022

2021

• 4D-GRAPHS

  BRÁZDIL Tomáš PORTEŠ David FILIPOVIČ Jiří HOZZOVÁ Jana EVANGELIDIS Thomas TRIPSIANES Konstantinos

  Software

  Year: 2021

2020

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

  BLAHOUDEK František BRÁZDIL Tomáš NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Paper in proceedings

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, year: 2020, DOI

• Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu NOVOTNÝ Petr VAHALA Jiří

  Paper in proceedings

  The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020, DOI

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Paper in proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019, DOI

• Strategy Representation by Decision Trees with Linear Classifiers

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

  Paper in proceedings

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

• Unbounded Orchestrations of Transducers for Manufacturing

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

  Paper in proceedings

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

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

  Paper in proceedings

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

• 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

  Paper in proceedings

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

• Solving Patrolling Problems in the Internet Environment

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

  Paper in proceedings

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