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