D 2018

Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER and Vojtěch ŘEHÁK

Basic information

Original name

Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

Authors

KLAŠKA, David (203 Czech Republic, belonging to the institution), Antonín KUČERA (203 Czech Republic, belonging to the institution), Tomáš LAMSER (203 Czech Republic, belonging to the institution) and Vojtěch ŘEHÁK (203 Czech Republic, guarantor, belonging to the institution)

Edition

Richland, SC, Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, p. 659-666, 8 pp. 2018

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

References:

URL

RIV identification code

RIV/00216224:14330/18:00100830

Organization unit

Faculty of Informatics

ISBN

978-1-5108-6808-3

ISSN

DOI

http://dx.doi.org/10.5555/3237383.3237481

UT WoS

000468231300081

Keywords in English

patrolling games; single and multi-agent planning and scheduling

Tags

core_A, firank_1, formela-conference

Tags

International impact, Reviewed
Změněno: 24/9/2019 15:31, doc. RNDr. Vojtěch Řehák, Ph.D.

Abstract

V originále

We give a polynomial-time algorithm for synthesizing efficient regular strategies in adversarial patrolling games with general topology. Regular strategies use finite memory to gather some relevant information about the history of Defender's moves which results in substantially better protection of the targets. So far, the scope of automatic strategy synthesis was limited to positional strategies (which ignore the history) or to regular strategies where the underlying finite-memory observer had to be supplied manually. Furthermore, the existing methods do not give any information on how far are the constructed strategies from being optimal. In this paper, we try to overcome these limitations. We develop a novel gradient-based algorithm for synthesizing regular strategies where the underlying finite-memory observers are constructed algorithmically. The running time of our algorithm is polynomial which makes the algorithm applicable to instances of realistic size. Furthermore, we develop an algorithm for computing an upper bound on the best achievable protection, and compare the quality of the constructed strategies against this bound. Thus, we can effectively measure the "distance'' of the constructed strategies from optimal strategies, and our experiments show that this distance is often quite small.

Links

GA18-11193S, research and development project
Name: Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
Investor: Czech Science Foundation
MUNI/A/0854/2017, interní kód MU
Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
Investor: Masaryk University, Category A
MUNI/A/1038/2017, interní kód MU
Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 18
Investor: Masaryk University, Category A
Displayed: 12/11/2024 14:09