2023/05/17 by Nathanaël Fijalkow, C. Aiswarya, Fijalkow, Nathanaël +48 · 1 voice · 4 citations
Computer Science · Decision Sciences · #Artificial Intelligence in Games #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Game Theory and Applications #Logic in Computer Science (cs.LO) #cs.FL #cs.GT #cs.LO
paper · pdf · doi:10.48550/arxiv.2305.10546
openalex publication_date 2023/05/17 · arxiv published 2023/05/17 · openalex created_date 2023/05/21 · arxiv updated 2025/07/29 · openalex updated_date 2026/08/01
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 many more applications, in particular some of the models investigated in this book were introduced and studied in neighbouring research communities such as optimisation, reinforcement learning, model theory, and set theory.