Publication details

Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games

Investor logo
Authors

KŮR Vojtěch MUSIL Vít ŘEHÁK Vojtěch

Year of publication 2026
Type Paper in proceedings
Conference Proceedings International Conference on Automated Planning and Scheduling, ICAPS
MU Faculty or unit

Faculty of Informatics

Citation
web https://doi.org/10.1609/icaps.v36i1.42823
Doi https://doi.org/10.1609/icaps.v36i1.42823
Keywords Securyty games; Patrolling; Optimization
Attached files
Description 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 strategy for the Defender that minimizes the worst damage an Attacker can cause. We focus on the class of finite-memory (also known as regular) Defender’s strategies that experimentally outperform other competing classes. A finite-memory strategy can be seen as a positional strategy on a finite set of states. Each state consists of a pair of a location and a certain integer value–called memory. Existing algorithms improve the transitional probabilities between the states but require that the available memory size itself is assigned at each location manually. Choosing the right memory assignment is a well-known open and hard problem that hinders the usability of finite-memory strategies. We solve this issue by developing a general method that iteratively changes the memory assignment. Our algorithm can be used in connection with any black-box strategy optimization tool. We evaluate our method on various experiments and show its robustness by solving instances of various patrolling models.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info