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…