Synthesis of controllable nash equilibria in games with quantitative objectives

In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable and some are not. All agents have objectives, and the goal is to synthesize strategies for the controllable agents so that their objectives are satisfied, assuming rationality of the uncontrollable a...

Full description

Bibliographic Details
Main Authors: Almagor, S, Kupferman, O, Perelli, G
Format: Conference item
Published: International Joint Conferences on Artificial Intelligence Organization 2018