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...

Полное описание

Библиографические подробности
Главные авторы: Almagor, S, Kupferman, O, Perelli, G
Формат: Conference item
Опубликовано: International Joint Conferences on Artificial Intelligence Organization 2018