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Ý a Vojtěch ŘEHÁK. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, s. 171-179. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/20.

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

Paper URL

Kód RIV

RIV/00216224:14330/23:00131516

Organizační jednotka

Fakulta informatiky

ISBN

978-1-956792-03-4

ISSN

DOI

http://dx.doi.org/10.24963/ijcai.2023/20

Klíčová slova anglicky

Multi-agent systems; strategy synthesis

Štítky

core_A, firank_1

Příznaky

Mezinárodní význam, Recenzováno

---

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	Název: VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty Investor: Grantová agentura ČR, VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty
MUNI/A/1081/2022, interní kód MU	Název: Modelování, analýza a verifikace (2023) Investor: Masarykova univerzita, Modelování, analýza a verifikace (2023)
MUNI/A/1433/2022, interní kód MU	Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23 Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23
0011629866, interní kód MU	Název: Models, Algorithms, and Tools for Solving Adversarial Security Problems Investor: Ostatní - zahraniční, Models, Algorithms, and Tools for Solving Adversarial Security Problems
101087529, interní kód MU	Název: Cyber-security Excellence Hub in Estonia and South Moravia (CHESS) Investor: Evropská unie, Cyber-security Excellence Hub in Estonia and South Moravia (CHESS), Rozšiřování účasti a posílení ERA

Přiložené soubory

paper.pdf

Vyhledat podobné dokumenty