D
2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
KLAŠKA, David; Antonín KUČERA; Martin KUREČKA; Vít MUSIL; Petr NOVOTNÝ et al.
Basic information
Original name
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Authors
KLAŠKA, David; Antonín KUČERA; Martin KUREČKA; Vít MUSIL; Petr NOVOTNÝ and Vojtěch ŘEHÁK
Edition
Neuveden, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, p. 171-179, 9 pp. 2023
Publisher
International Joint Conferences on Artificial Intelligence
Other information
Type of outcome
Proceedings paper
Confidentiality degree
is not subject to a state or trade secret
Publication form
electronic version available online
Marked to be transferred to RIV
Yes
RIV identification code
RIV/00216224:14330/23:00131516
Organization
Fakulta informatiky – Repository – Repository
Keywords in English
Multi-agent systems; strategy synthesis
Links
GA23-06963S, research and development project. MUNI/A/1081/2022, interní kód Repo. MUNI/A/1433/2022, interní kód Repo. 0011629866, interní kód Repo. 101087529, interní kód Repo.
In the original language
We consider the problem of synthesizing resilient and stochastically stable strategies for systems of cooperating agents striving to minimize the expected time between consecutive visits to selected locations in a known environment. A strategy profile is resilient if it retains its functionality even if some of the agents fail, and stochastically stable if the visiting time variance is small. We design a novel specification language for objectives involving resilience and stochastic stability, and we show how to efficiently compute strategy profiles (for both autonomous and coordinated agents) optimizing these objectives. Our experiments show that our strategy synthesis algorithm can construct highly non-trivial and efficient strategy profiles for environments with general topology.
Displayed: 6/5/2026 10:46