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.
Antonina Skurka is joining STARlab as a WASP PhD Student.
Welcome to the team Antonina!
The workshop presents the latest adavances in theory and applications of hyperproperties
Join us at our tutorial on Scenic at CVPR 2024
The tutorial is held by Edward Kim, Daniel Fremont, and Sanjit Seshia
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
