Synthesis of Resource-Aware Controllers Against Rational Agents

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.