Games with $ω$-Automatic Preference Relations
Authors:
Véronique Bruyère,
Christophe Grandmont,
Jean-François Raskin
Abstract:
This paper investigates Nash equilibria (NEs) in multi-player turn-based games on graphs, where player preferences are modeled as $ω$-automatic relations via deterministic parity automata. Unlike much of the existing literature, which focuses on specific reward functions, our results apply to any preference relation definable by an $ω$-automatic relation. We analyze the computational complexity of…
▽ More
This paper investigates Nash equilibria (NEs) in multi-player turn-based games on graphs, where player preferences are modeled as $ω$-automatic relations via deterministic parity automata. Unlike much of the existing literature, which focuses on specific reward functions, our results apply to any preference relation definable by an $ω$-automatic relation. We analyze the computational complexity of determining the existence of an NE (possibly under some constraints), verifying whether a given strategy profile forms an NE, and checking whether a specific outcome can be realized by an NE. Finally, we explore fundamental properties of $ω$-automatic relations and their implications in the existence of equilibria and finite-memory strategies.
△ Less
Submitted 10 February, 2025;
originally announced March 2025.
As Soon as Possible but Rationally
Authors:
Véronique Bruyère,
Christophe Grandmont,
Jean-François Raskin
Abstract:
This paper addresses complexity problems in rational verification and synthesis for multi-player games played on weighted graphs, where the objective of each player is to minimize the cost of reaching a specific set of target vertices. In these games, one player, referred to as the system, declares his strategy upfront. The other players, composing the environment, then rationally make their moves…
▽ More
This paper addresses complexity problems in rational verification and synthesis for multi-player games played on weighted graphs, where the objective of each player is to minimize the cost of reaching a specific set of target vertices. In these games, one player, referred to as the system, declares his strategy upfront. The other players, composing the environment, then rationally make their moves according to their objectives. The rational behavior of these responding players is captured through two models: they opt for strategies that either represent a Nash equilibrium or lead to a play with a Pareto-optimal cost tuple.
△ Less
Submitted 10 February, 2025; v1 submitted 1 March, 2024;
originally announced March 2024.
