48 citations · 192 across the 15 of their papers we have counts for
4 papers · 1 filter
Games on Graphs: From Logic and Automata to Algorithms
Nathanaël Fijalkow, C. Aiswarya, Guy Avni +22
The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared…
Decidability Results for Multi-objective Stochastic Games
Romain Brenguier, Vojtěch Forejt
We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts…
Robust Equilibria in Concurrent Games
Romain Brenguier
We study the problem of finding robust equilibria in multiplayer concurrent games with mean payoff objectives. A -robust equilibrium is a strategy profile such that no coali…
The Complexity of Admissibility in Omega-Regular Games
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
Iterated admissibility is a well-known and important concept in classical game theory, e.g. to determine rational behaviors in multi-player matrix games. As recently shown by Berwa…