Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games
Vojtěch Kůr, Vít Musil, Vojtěch Řehák
Adversarial Patrolling games form a subclass of Security games where a Defender moves between locations, guarding vulnerable targets. The main algorithmic problem is constructing a…
cs.AI2024
Multiple Mean-Payoff Optimization under Local Stability Constraints
David Klaška, Antonín Kučera, Vojtěch Kůr +2
The long-run average payoff per transition (mean payoff) is the main tool for specifying the performance and dependability properties of discrete systems. The problem of constructi…