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