Title: Automata, Logics, and Infinite Games