Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. In Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar, editors, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. pages 659-666, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, 2018. [doi]

Abstract

Abstract is missing.