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

Vice-dean for curricula and internationalisation, Faculty of Informatics

office: A408
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 4687
e‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 68

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

Article in Proceedings

Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 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

Article in Periodical

IEEE Transactions on Visualization and Computer Graphics, year: 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

Article in Proceedings

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 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

Article in Proceedings

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

2022

General Optimization Framework for Recurrent Reachability Objectives

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

Article in Proceedings

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 2022
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

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

Article in Proceedings

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

Article in Proceedings

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

2021

Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games

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

Article in Proceedings

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

2020

Adversarial Patrolling with Drones

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

Article in Proceedings

Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 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

Article in Periodical

ACM Transactions on Modeling and Computer Simulation (TOMACS), year: 2019, volume: 29, edition: 4, DOI