The objective of this collaborative handbook is to present the state of the art in graph games, which are part of a larger research topic called game theory. Graph games are the domain of games whose rules and evolution are represented by a graph.
We focus mainly on infinite duration games, but their study is related to finite duration games. They are a prominent model in two related fields: on the one hand, automata theory and logic, and on the other hand, program verification and synthesis. Some of these models have been introduced and studied in related research communities, such as optimisation and reinforcement learning.
This book does not pretend to give a complete account of all existing results or models in the literature, which is almost impossible for two reasons: the wealth of existing results and the constant flow of new results. The main objective of this book is algorithmic: to build efficient algorithms to analyse different types of games.
Read more, here.