| 2025 | AAAI | Multiple Mean-Payoff Optimization Under Local Stability Constraints. | David Klaska, Antonn Kucera, Vojtech Kur, Vt Musil, Vojtech Rehk |
| 2024 | AAAI | Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. | David Klaska, Antonn Kucera, Vojtech Kur, Vt Musil, Vojtech Rehk |
| 2023 | IJCAI | Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. | David Klaska, Antonn Kucera, Martin Kurecka, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2023 | IJCAI | Mean Payoff Optimization for Systems of Periodic Service and Maintenance. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2022 | IJCAI | General Optimization Framework for Recurrent Reachability Objectives. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2022 | UAI | On-the-fly adaptation of patrolling strategies in changing environments. | Toms Brzdil, David Klaska, Antonn Kucera, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2021 | CAV | Fast Computation of Strong Control Dependencies. | Marek Chalupa, David Klaska, Jan Strejcek, Luks Tomovic |
| 2021 | UAI | Regstar: efficient strategy synthesis for adversarial patrolling games. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2014 | CAV | Minimizing Running Costs in Consumption Systems. | Toms Brzdil, David Klaska, Antonn Kucera, Petr Novotn |