Welcome to the Safe and Intelligent Autonomy (SIA) Lab! SIA Lab is part of the Department of Aeronautics and Astronautics at Stanford. The central question our lab aims to answer is how can we enable robots to leverage the capabilities offered by modern ML and AI methods while maintaining safety guarantees?
Towards this goal, we develop theory and computational tools for robot safety verification (e.g., neural reachability methods for high-dimensional and black-box systems) and integrate them into different stages of the learning lifecycle. This includes methods to provide safety assurances during the design and training phase (e.g., via safety-guided data collection and learning correct-by-construction robot policies); continuous safety monitoring during test and deployment (e.g., through uncertainty quantification, anomaly detection, and safety shielding); and dynamically adapting to new safety risks during the robot’s lifecycle (e.g., via developing new stress-testing methods that expose hidden AI failure modes, trace their root causes, and enable targeted fixes). Our work is applied in a variety of domains, such as flying vehicles (quadrotors, eVTOLs), quadrupeds, autonomous cars, space exploration, and manipulation.
Please see this talk for a nice summary of the latest research directions in our group.
We are looking for undergraduate and graduate students to join our research group. If you are interested in robotics, control, and/or machine learning, consider joining us!
News
[August 2025] New paper on Safety-Aware Imitation Learning via MPC-Guided Disturbance Injection is out on arXiv.
[July 2025] New paper on Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators is out on arXiv.
[June 2025] New paper on Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis is out on arXiv.
[June 2025] New paper on Enhancing Robot Safety via MLLM-Based Semantic Interpretation of Failure Data is out on arXiv.
[June 2025] Congratulations Javier, Luke, and Umut, for your paper acceptance to IEEE Robotics and Automation Letters.
[June 2025] Congratulations Manan and Aditya, for your paper acceptance to International Conference on Machine Learning (ICML), 2025.
[May 2025] New paper on Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions is out on arXiv.
[April 2025] Congratulations Zeyuan and Le, for your paper acceptance to Robotics Sciences and Systems (RSS), 2025.
[January 2025] Five papers from SIA Lab have been accepted to ICRA 2025. Congratulations, Umut, Kaustav, Vamsi, Aditya, and Zeyuan!
[December 2024] Congratulations Hao and Adityaya, for your paper acceptance to IEEE Control Systems Letters (L-CSS).
[December 2024] New paper: "One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments" is out on arXiv.
[October 2024] New paper on Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis is out on arXiv.
[September 2024] Six new pre-prints have been posted on arXiv.
[July 2024] Two papers accepted at CDC 2024! Congratulations.
[August 2024] Congratulations Javier, for your paper acceptance to IEEE Transactions on Robotics.
[June 2024] Congratulations Hao, for your paper acceptance to IEEE Control Systems Letters.
[June 2024] Congrats to Javier for the paper on Hamilton-Jacobi reachability analysis for hybrid systems with controlled and forced transitions acceptance to RSS 2024.
[April 2024] Congratulations Albert, for your paper acceptance to L4DC 2024
[April 2024] New paper on Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis.
[April 2024] New paper on Providing Safety Assurances for Systems with Unknown Dynamics is out on arXiv.
[April 2024] New paper, SAFE-GIL: SAFEty Guided Imitation Learning, is out on arXiv.
[April 2024] New paper on Imposing Exact Safety Specifications in Neural Reachable Tubes is out on arXiv.
[December 2023] New paper on verification of neural reachable tubes via scenario optimization and conformal prediction is out on arXiv.
[September 2023] New paper on detecting and mitigating system-level anomalies of vision-based controllers is out on arXiv.
[September 2023] New paper on Hamilton-Jacobi reachability analysis for hybrid systems with controlled and forced transitions is out on arXiv.
[August 2023] Three undergraduate students have joined our lab through the CURVE program. Welcome Kyle, Saim, and Sascha!
[May 2023] Congratulations Professor Somil Bansal, for winning the NSF CAREER Award!
[April 2023] Two new PhD students have joined our lab. Welcome Albert and Zeyuan!
[February 2023] Congratulations Kaustav, for your paper acceptance to RA-L!
[January 2023] Three papers from SIA Lab have been accepted to ICRA 2023. Congratulations, Albert, Javier, and Ken!
[January 2023] Our lab is offering a new course on learning and control for safety-critical robotic systems.