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

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...

Full description

Bibliographic Details
Main Authors: Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin
Format: Article
Language:English
Published: Open Publishing Association 2018-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1809.03888v1