75 citations · 276 across the 23 of their papers we have counts for
3 papers · 1 filter
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…
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
Tomáš Brázdil, David Klaška, Antonín Kučera +3
We consider the problem of efficient patrolling strategy adaptation in a changing environment where the topology of Defender's moves and the importance of guarded targets change un…
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…