doc. RNDr. Vojtěch Řehák, Ph.D.

2024

• Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes

  KLAŠKA David KUČERA Antonín KŮR Vojtěch MUSIL Vít ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), rok: 2024

• Who Let the Guards Out: Visual Support for Patrolling Games

  LANG Matěj ŠTĚPÁNEK Adam ZVARA Róbert ŘEHÁK Vojtěch KOZLÍKOVÁ Barbora

  Článek v odborném periodiku

  IEEE Transactions on Visualization and Computer Graphics, rok: 2024, DOI

2023

• Mean Payoff Optimization for Systems of Periodic Service and Maintenance

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023

• Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

  KLAŠKA David KUČERA Antonín KUREČKA Martin MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023

2022

• General Optimization Framework for Recurrent Reachability Objectives

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, rok: 2022

• Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Článek ve sborníku

  21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., rok: 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

  Článek ve sborníku

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

2021

• Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games

  KLAŠKA David KUČERA Antonín ŘEHÁK Vojtěch MUSIL Vít

  Článek ve sborníku

  Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 2021

2020

• Adversarial Patrolling with Drones

  KLAŠKA David KUČERA Antonín ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, rok: 2020

2019

• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Článek v odborném periodiku

  ACM Transactions on Modeling and Computer Simulation (TOMACS), rok: 2019, ročník: 29, vydání: 4, DOI