activity
20072023
most citedReal-Time Model-Checking: Parameters everywhere

32 citations · 172 across the 29 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

cs.GT2018★ 4 cited

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…

cs.GT2018

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…