The goal of our research group is to develop theoretical foundations and techniques for the construction of safe, reliable, and secure autonomous cyber-physical systems. Our work spans from formal specification, verification, synthesis, to runtime verification.
Our paper on Compositional Simulation-Based Analysis has been accepted for presentation at RV 2023
This is joint work with Beyazit Yalcinkaya, Daniel Fremont, and Sanjit Seshia
Our paper on Learning Monitor Ensembles for Operational Design Domains has been accepted for presentation at RV 2023
This is joint work with Aniruddha Joshi, Shetal Shah, Supratik Chakraborty, S Akshay, and Sanjit Seshia
Check out the latest edition of the Workshop on Hyperproperties
This event was co-organized with Rayna Dimitrova and Daniel Fremont
Check out ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems
This is joint work with Beyazit Yalcinkaya, Ankush Desai, and Sanjit Seshia