1 citations · 1 across the 5 of their papers we have counts for
5 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…
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…
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…