Careful Autonomous Agents in Environments With Multiple Common Resources

Rodica Condurache
(Alexandru Ioan Cuza University)
Catalin Dima
(Paris-East Créteil University, LACL)
Madalina Jitaru
(Paris-East Créteil University, LACL)
Youssouf Oualhadj
(Free University of Bozen-Bolzano, Paris-East Créteil University)
Nicolas Troquard
(Free University of Bozen-Bolzano)

Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent systems in which agents are interacting in a graph arena in a turn-based fashion. There is one common resource, and each action may decrease or increase the resource. Each agent has a temporal qualitative objective and wants to maintain the value of the resource positive. One must find a Nash equilibrium. This problem is decidable.

In more practical settings, the verification of the critical properties of multi-agent systems calls for models with many resources. Indeed, agents and robots consume and produce more than one type of resource: electric energy, fuel, raw material, manufactured goods, etc. We thus explore the problem of careful rational synthesis with several resources. We show that the problem is undecidable. We then propose a variant with bounded resources, motivated by the observation that in practical settings, the storage of resources is limited. We show that the problem becomes decidable, and is no harder than controller synthesis with Linear-time Temporal Logic objectives.

In Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour and Louise A. Dennis: Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), Vienna, Austria, 24th July 2022, Electronic Proceedings in Theoretical Computer Science 362, pp. 3–14.
Published: 20th July 2022.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: