ESEC/FSE 2021 (series) / Raghavan Komondoor
Registered user since Sun 18 Jun 2017
Name:Raghavan Komondoor
Country:India
Affiliation:IISc Bengaluru
Personal website:http://drona.csa.iisc.ac.in/~raghavan/
Contributions
| ESEC/FSE 2021 | GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESEC/FSE 2021-profile
View general profile
View general profile