Automata, Logics, and Infinite Games | lit.salon