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.Základní údaje
Originální název
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Autoři
KLAŠKA, David (203 Česká republika, domácí), Antonín KUČERA (203 Česká republika, garant, domácí), Martin KUREČKA (203 Česká republika, domácí), Vít MUSIL (203 Česká republika, domácí), Petr NOVOTNÝ (203 Česká republika, domácí) a Vojtěch ŘEHÁK (203 Česká republika, domácí)
Vydání
Neuveden, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, od s. 171-179, 9 s. 2023
Nakladatel
International Joint Conferences on Artificial Intelligence
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
elektronická verze "online"
Odkazy
Kód RIV
RIV/00216224:14330/23:00131516
Organizační jednotka
Fakulta informatiky
ISBN
978-1-956792-03-4
ISSN
Klíčová slova anglicky
Multi-agent systems; strategy synthesis
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 26. 7. 2024 11:28, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
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.
Návaznosti
GA23-06963S, projekt VaV |
| ||
MUNI/A/1081/2022, interní kód MU |
| ||
MUNI/A/1433/2022, interní kód MU |
| ||
0011629866, interní kód MU |
| ||
101087529, interní kód MU |
|