4 papers
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
Thomas Brihaye, Aline Goeminne
We study multiplayer turn-based timed games with reachability objectives. In particular, we are interested in the notion of subgame perfect equilibrium (SPE). We prove that decidin…
On Relevant Equilibria in Reachability Games
Thomas Brihaye, Véronique Bruyère, Aline Goeminne +1
We study multiplayer reachability games played on a finite directed graph equipped with target sets, one for each player. In those reachability games, it is known that there always…
Constrained Existence Problem for Weak Subgame Perfect Equilibria with -Regular Boolean Objectives
Thomas Brihaye, Véronique Bruyère, Aline Goeminne +1
We study multiplayer turn-based games played on a finite directed graph such that each player aims at satisfying an omega-regular Boolean objective. Instead of the well-known notio…
Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version)
Thomas Brihaye, Véronique Bruyère, Aline Goeminne +1
We study multiplayer turn-based games played on a finite directed graph such that each player aims at satisfying an omega-regular Boolean objective. Instead of the well-known notio…