Two traditional paradigms are often used to describe the behavior of agents
in multi-agent complex systems. In the first one, agents are considered to be
fully rational and systems are seen as multi-player games. In the second one,
agents are considered to be fully stochastic processes and the system itself is
seen as a large stochastic process. From the standpoint of a particular agent -
having to choose a strategy, the choice of the paradigm is crucial: the most
adequate strategy depends on the assumptions made on the other agents.
In this paper, we focus on two-player games and their application to the
automated synthesis of reliable controllers for reactive systems - a field at
the crossroads between computer science and mathematics. In this setting, the
reactive system to control is a player, and its environment is its opponent,
usually assumed to be fully antagonistic or fully stochastic. We illustrate
several recent developments aiming to breach this narrow taxonomy by providing
formal concepts and mathematical frameworks to reason about richer behavioral
models.
The interest of such models is not limited to reactive system synthesis but
extends to other application fields of game theory. The goal of our
contribution is to give a high-level presentation of key concepts and
applications, aimed at a broad audience. To achieve this goal, we illustrate
those rich behavioral models on a classical challenge of the everyday life:
planning a journey in an uncertain environment.Comment: Accepted at GAMES 2016, the 5th World Congress of the Game Theory
Society. High-level survey notably based on arXiv:1204.3283 and
arXiv:1411.083
