CSS.329.1 Automata, verification, and infinite games