Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives

09/10/2018
by   Thomas Brihaye, et al.
0

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 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 can only use the subclass of strategies that differ from the original one on a finite number of histories. We are interested in the constrained existence problem for weak SPEs. We provide a complete characterization of the computational complexity of this problem: it is P-complete for Explicit Muller objectives, NP-complete for Co-Büchi, Parity, Muller, Rabin, and Streett objectives, and PSPACE-complete for Reachability and Safety objectives (we only prove NP-membership for Büchi objectives). We also show that the constrained existence problem is fixed parameter tractable and is polynomial when the number of players is fixed. All these results are based on a fine analysis of a fixpoint algorithm that computes the set of possible payoff profiles underlying weak SPEs.

READ FULL TEXT
research
06/14/2018

Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives

We study multiplayer turn-based games played on a finite directed graph ...
research
06/14/2018

Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version)

We study multiplayer turn-based games played on a finite directed graph ...
research
06/18/2020

On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games

We study multiplayer turn-based timed games with reachability objectives...
research
05/02/2019

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)

We study multiplayer quantitative reachability games played on a finite ...
research
07/15/2021

On the Complexity of SPEs in Parity Games

We study the complexity of problems related to subgame-perfect equilibri...
research
10/18/2022

How to Play Optimally for Regular Objectives?

This paper studies two-player zero-sum games played on graphs and makes ...
research
10/14/2022

Model-checking lock-sharing systems against regular constraints

We study the verification of distributed systems where processes are fin...

Please sign up or login with your details

Forgot password? Click here to reset