4 papers
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
David Klaška, Antonín Kučera, Martin Kurečka +3
We consider the problem of synthesizing resilient and stochastically stable strategies for systems of cooperating agents striving to minimize the expected time between consecutive…
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
David Klaška, Antonín Kučera, Vít Musil +1
Consider oriented graph nodes requiring periodic visits by a service agent. The agent moves among the nodes and receives a payoff for each completed service task, depending on the…
General Optimization Framework for Recurrent Reachability Objectives
David Klaška, Antonín Kučera, Vít Musil +1
We consider the mobile robot path planning problem for a class of recurrent reachability objectives. These objectives are parameterized by the expected time needed to visit one pos…
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
David Klaška, Antonín Kučera, Vít Musil +1
In adversarial patrolling games, a mobile Defender strives to discover intrusions at vulnerable targets initiated by an Attacker. The Attacker's utility is traditionally defined as…