Authors: Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-François Raskin
Paper Information
Title: | Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives |
Authors: | Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-François Raskin |
Proceedings: | MoRe Papers |
Editors: | Mickael Randour and Jeremy Sproston |
Keywords: | multiplayer games, omega-regular objectives, weak subgame perfect equilibria, complexity results, constraint problem |
Abstract: | ABSTRACT. We study n-player turn-based games played on a finite directed graph. For each play, each player receives a gain that he wants to maximise. Instead of the well-known notions of Nash equilibrium (NE) and subgame perfect equilibrium (SPE), we focus on the recent notion of weak subgame perfect equilibrium (weak SPE), a refinement of SPE. In this setting, players who deviate cannot use the full class of strategies but only a subclass with a finite number of deviation steps. We are interested in the constraint problem: given an upper and a lower thresholds x, y in {0,1}^n, we want to determine if there exists a weak SPE such the gain of each player is componentwise between the two bounds. The goal of our ongoing research is to characterise the complexity of the constraint problem for the class of games with Boolean omega-regular objectives such that Muller, Büchi, Reachability ... |
Pages: | 3 |
Talk: | Jul 13 11:00 (Session 86I: Games and synthesis) |
Paper: |