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.
Origine | Accord explicite pour ce dépôt |
---|