Games on Graphs

Nathanaël Fijalkow (1) , Nathalie Bertrand (2) , Patricia Bouyer (3) , Romain Brenguier (4) , Arnaud Carayol (5) , John Fearnley (6) , Hugo Gimbert (1) , Florian Horn (7) , Rasmus Ibsen-Jensen (6) , Nicolas Markey (2) , Benjamin Monmege (8) , Petr Novotny (9) , Mickael Randour (10) , Ocan Sankur (2) , Sylvain Schmitz (11, 7) , Olivier Serre (7) , Mateusz Skomra (12)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 SUMO - SUpervision of large MOdular and distributed systems
3 LMF - Laboratoire Méthodes Formelles
4 University of Oxford
5 LIGM - Laboratoire d'Informatique Gaspard-Monge
6 University of Liverpool
7 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
8 MOVE - Modélisation et Vérification
9 IBM
10 UMons - Université de Mons
11 IUF - Institut universitaire de France
12 LAAS-POP - Equipe Polynomial OPtimization

The objective of this collaborative textbook is to present the state of the art on games on graphs from automata and logic.

Mots clés: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Domaines: Informatique et théorie des jeux [cs.GT]

Nathanaël Fijalkow (Dir.). Games on Graphs: From Logic and Automata to Algorithms. pp.1-491, inPress, ⟨10.48550/arXiv.2305.10546⟩. ⟨hal-04273394⟩