Games on Graphs: From Logic and Automata to Algorithms

Fijalkow, Nathanaël; C., Aiswarya,; Guy, Avni,; Bertrand, Nathalie; Bouyer, Patricia; Brenguier, Romain; Carayol, Arnaud; Antonio, Casares,; Fearnley, John; Paul, Gastin,; Gimbert, Hugo; Thomas A., Henzinger,; Horn, Florian; Ibsen-Jensen, Rasmus; Markey, Nicolas; Monmege, Benjamin; Novotný, Petr; Pierre, Ohlmann,; Randour, Mickaël; Sankur, Ocan; Schmitz, Sylvain; Serre, Olivier; Skomra, Mateusz; Nathalie, Sznajder,; Pierre, Vandenhove,

doi:10.48550/arxiv.2305.10546

Public

Games on Graphs: From Logic and Automata to Algorithms

Published in arXiv (Cornell University) • May 17, 2023

Authors:

Nathanaël Fijalkow

Aiswarya, C.

Avni, Guy

Abstract

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 in the study of automata and logic, and they later became important for program verification and synthesis. They have ma...

Subject

Graph

Computer science

Combinatorial game theory

Research Assistant

AI chat, annotations, notes & similar papers

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!