Title: Automata, logics, and infinite games
Subjects: Machine theory, Mathematics, Symbolic and mathematical Logic, Computer science, Game theory