Automata, Logics, and Infinite Games