CSS.329.1 Automata, verification, and infinite games Instructor: Shibashis Guha Semester: 2022 Autumn/Monsoon (Aug - Dec) Webpage: https://www.tifr.res.in/~shibashis.guha/courses/diwali2022/css329.html