Synthesis of Resource-Aware Controllers Against Rational Agents - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2023

Synthesis of Resource-Aware Controllers Against Rational Agents

Résumé

This paper proposes new contributions from the field of formal multiagent systems in the pursued efforts of engineering solutions for the sustainable management of common-pool resources in presence of rational agents. Non-cooperative rational synthesis is the task of automatically constructing a controller for a reactive system that ensures a given specification against any individually rational behavior of the system’s components. In this paper we consider the case where the controller has to ensure that the system’s resources are never depleted. We report complexity results for classical specification such as the one given in linear temporal logic.
Fichier principal
Vignette du fichier
p775.pdf (1.08 Mo) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-04572121 , version 1 (30-09-2024)

Licence

Identifiants

  • HAL Id : hal-04572121 , version 1

Citer

Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard. Synthesis of Resource-Aware Controllers Against Rational Agents. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, Londres, United Kingdom. ⟨hal-04572121⟩

Collections

LACL UPEC
53 Consultations
7 Téléchargements

Partager

More