FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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

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: