Klaška, David

7 publications

AAAI 2025 Multiple Mean-Payoff Optimization Under Local Stability Constraints David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák

AAAI 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

IJCAI 2023 Mean Payoff Optimization for Systems of Periodic Service and Maintenance David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

IJCAI 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

IJCAI 2022 General Optimization Framework for Recurrent Reachability Objectives David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

UAI 2022 On-the-Fly Adaptation of Patrolling Strategies in Changing Environments Tomáš Brázdil, David Klaška, Antonı́n Kučera, Vı́t Musil, Petr Novotný, Vojtěch Řehák

UAI 2021 Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games David Klaška, Antonín Kučera, Vít Musil, Vojtěch Řehák