📕 Книга «Games on Graphs: From Logic and Automata to Algorithms» (PDF с возможностью поиска 9.5 Mb)

Автор: Nathanael Fijalkow. Год издания: 2026. Язык: English

Описание: This volume introduces the fundamental results and the state of the art in infinite duration games on graphs. These versatile game models first appeared in the study of automata and logic, but later became important for program verification and synthesis. They have many more applications. In particular, this book covers models from the fields of optimisation, Reinforcement Learning, model theory, and set theory. The material is presented at a level accessible to beginning graduate students, requiring only a basic understanding of discrete algorithms and graphs. The book's primary objective is constructing efficient algorithms for analysing different types of games.

#TextBook #Games #Graphs #Logic #Automata #Algorithms