conf.researchr.org / B Srivathsan
Registered user since Wed 25 Dec 2024
Name:B Srivathsan
Country:India
Affiliation:Chennai Mathematical Institute
Personal website: https://www.cmi.ac.in/~sri/
Research interests:Formal verification, Automata theory, Games on graphs
Contributions