Rational Synthesis in the Commons with Careless and Careful Agents - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2021

Rational Synthesis in the Commons with Careless and Careful Agents

Rodica Condurache
  • Fonction : Auteur
Nicolas Troquard
  • Fonction : Auteur
  • PersonId : 1381473

Résumé

Turn-based games on graphs are games where the states are controlled by one and only one player who decides which edge to follow. Each player has a temporal objective that they try to achieve. One player is the designated ‘controller’, whose objective captures the desirable outcomes of the whole system. Cooperative rational synthesis is the problem of computing a Nash equilibrium that satisfies the controller’s objective. In this paper, we tackle this problem in the context of a commons, where each action has a cost or a benefit on one shared common pool energy resource. The paper investigates the problem of synthesising the controller in a commons such that there exists an individually rational behaviour of all the agents in the commons that satisfies the controller’s objective and does not deplete the resource. We consider two types of agents: careless and careful. Careless agents only care for their temporal objective, while careful agents also pay attention not to deplete the system’s resource. We solve the problem of cooperative rational synthesis in these games, focusing on parity objectives.
Fichier principal
Vignette du fichier
p368.pdf (1.3 Mo) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-04572118 , version 1 (03-10-2024)

Licence

Identifiants

  • HAL Id : hal-04572118 , version 1

Citer

Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard. Rational Synthesis in the Commons with Careless and Careful Agents. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), May 2021, Online, France. ⟨hal-04572118⟩

Collections

CNRS LACL UPEC
47 Consultations
7 Téléchargements

Partager

More