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.

LATEST NEWS

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!

Join us at HYPER@CAV2024

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