Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F23%3A00131516" target="_blank" >RIV/00216224:14330/23:00131516 - isvavai.cz</a>

Result on the web

<a href="https://www.ijcai.org/proceedings/2023/20" target="_blank" >https://www.ijcai.org/proceedings/2023/20</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.24963/ijcai.2023/20" target="_blank" >10.24963/ijcai.2023/20</a>

Result language

angličtina

Original language name

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA23-06963S" target="_blank" >GA23-06963S: VESCAA: Verifiable and Efficient Synthesis of Controllers for Autonomous Agents</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2023

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,

ISBN

9781956792034

ISSN

1045-0823

e-ISSN

—

Number of pages

9

Pages from-to

171-179

Publisher name

International Joint Conferences on Artificial Intelligence

Place of publication

Neuveden

Event location

Macao

Event date

Jan 1, 2023

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—