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.
Join our talk at ROSCon 2024 in Odense, Denmark. We report on the latest advances of Scenic.
This talk is given by Edward Kim and Hazem Torfah
Our paper on Active Learning of Runtime Monitors under Uncertainty has been accepted for presentation at iFM 2024.
This is joint work with Sebastian Junges and Sanjit A. Seshia
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 A. 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 A. Seshia
Check out ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems
This is joint work with Beyazit Yalcinkaya, Ankush Desai, and Sanjit A. Seshia