Automata, logics, and infinite games | lit.salon