School of Technology and Computer Science
School of Technology and Computer Science

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
Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400005, INDIA

https://brahma.tcs.tifr.res.in/academics/courses/css3291-automata-verification-and-infinite-games