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)

Steady-State Strategy Synthesis for Swarms of Autonomous Agents. - Martin Jonás; Antonín Kucera 001; Vojtech Kur; Jan Macák (CoRR, 2025)

Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games. - Vojtech Kur; Vít Musil; Vojtech Rehák (CoRR, 2025)