David Klaska

According to our database, David Klaska authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mean Payoff Optimization for Systems of Periodic Service and Maintenance.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

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

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

David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák

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

2022

On-the-fly adaptation of patrolling strategies in changing environments.

Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák

Proceedings of the Uncertainty in Artificial Intelligence, 2022

General Optimization Framework for Recurrent Reachability Objectives.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

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

Minimizing Expected Intrusion Detection Time in Adversarial Patrolling.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Regstar: efficient strategy synthesis for adversarial patrolling games.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Fast Computation of Strong Control Dependencies.

Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Adversarial Patrolling with Drones.

David Klaska, Antonín Kucera, Vojtech Rehák

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2018

Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games.

David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2014

Minimizing Running Costs in Consumption Systems.

Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný

Proceedings of the Computer Aided Verification - 26th International Conference, 2014