Minimizing Running Costs in Consumption Systems. - Tomás Brázdil; David Klaska; Antonín Kucera 001; Petr Novotný 001 (CAV, 2014)

Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. - David Klaska; Antonín Kucera 001; Tomás Lamser; Vojtech Rehák (AAMAS, 2018)

Adversarial Patrolling with Drones. - David Klaska; Antonín Kucera 001; Vojtech Rehák (AAMAS, 2020)

Fast Computation of Strong Control Dependencies. - Marek Chalupa; David Klaska; Jan Strejcek; Lukás Tomovic (CAV (2), 2021)

Regstar: efficient strategy synthesis for adversarial patrolling games. - David Klaska; Antonín Kucera 001; Vít Musil; Vojtech Rehák (UAI, 2021)

Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. - David Klaska; Antonín Kucera 001; Vít Musil; Vojtech Rehák (AAMAS, 2022)

General Optimization Framework for Recurrent Reachability Objectives. - David Klaska; Antonín Kucera 001; Vít Musil; Vojtech Rehák (IJCAI, 2022)

On-the-fly adaptation of patrolling strategies in changing environments. - Tomás Brázdil; David Klaska; Antonín Kucera 001; Vít Musil; Petr Novotný 001; Vojtech Rehák (UAI, 2022)

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. - David Klaska; Antonín Kucera 001; Martin Kurecka; Vít Musil; Petr Novotný 001; Vojtech Rehák (IJCAI, 2023)

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

Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. - David Klaska; Antonín Kucera 001; Vojtech Kur; Vít Musil; Vojtech Rehák (AAAI, 2024)

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