Paper Info
Title
Synthesis of equilibria in infinite-duration: games on graphs
Abstract
AbstractIn this survey, we propose a comprehensive introduction to game theory applied to computer-aided synthesis. We study multi-player turn-based infinite-duration games played on a finite directed graph such that each player aims at maximizing a payoff function. We present the well-known notions of Nash equilibrium and subgame perfect equilibrium, as well as interesting strategy profiles of players as response to the strategy announced by a specific player. We provide classical and recent results about the related threshold synthesis problem.
Year
DOI
Venue
2021
10.1145/3467001.3467003
SIGLOG
DocType
Volume
Issue
Journal
8
2
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Véronique Bruyère142943.59