Preprints

Paper Overview

Preemptive Detection and Steering of LLM Misalignment via Latent Reachability
Sathwik Karnik, Somil Bansal
arXiv, 2025 [PDF]

Paper Overview

Safety-Aware Imitation Learning via MPC-Guided Disturbance Injection
Le Qiu, Yusuf Umut Ciftci, Somil Bansal
arXiv, 2025 [PDF]

Paper Overview

From Perception Logs to Failure Modes: Language-Driven Semantic Clustering of Failures for Robot Safety
Aryaman Gupta*, Yusuf Umut Ciftci*, Somil Bansal. * equal contribution
arXiv, 2025 [PDF] [Website]

Paper Overview

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
Kaustav Chakraborty*, Zeyuan Feng*, Sushant Veer*, Apoorva Sharma, Wenhao Ding, Sever Topan, Boris Ivanovic, Marco Pavone, Somil Bansal. * equal contribution
arXiv, 2025 [PDF]

Paper Overview

One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
Albert Lin, Shuang Peng, Somil Bansal
arXiv, 2024 [PDF] [Website]

Paper Overview

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
Kaustav Chakraborty, Aryaman Gupta, Somil Bansal
arXiv, 2024 [PDF] [Website]

Paper Overview

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
Hao Wang, Armand Jordana, Ludovic Righetti, Somil Bansal
arXiv, 2025 [PDF]

Paper Overview

Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions
Matthew Kim, William Sharpless, Hyun Joe Jeong, Sander Tonkens, Somil Bansal, Sylvia Herbert
arXiv, 2025 [PDF]

Conference and Journal Publications

Paper Overview

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
Javier Borquez, Luke Raus, Yusuf Umut Ciftci, Somil Bansal
IEEE Robotics and Automation Letters (RA-L), 2025 [PDF]

Paper Overview

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
Zeyuan Feng, Le Qiu, Somil Bansal
Robotics Sciences and Systems (RSS), 2025 [PDF]

Paper Overview

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
Manan Tayal*, Aditya Singh*, Shishir Kolathaya, Somil Bansal
International Conference on Machine Learning (ICML), 2025 [PDF]

Paper Overview

Cooptimizing Safety and Performance with a Control-Constrained Formulation
Hao Wang*, Adityaya Dhande*, Somil Bansal
IEEE Control Systems Letters (L-CSS), 2025 [PDF] [Code]

Paper Overview

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
William Sharpless, Zeyuan Feng, Somil Bansal, Sylvia Herbert
Learning for Dynamics and Control Conference (L4DC), 2025 [PDF]

Paper Overview

Stable-BC: Controlling Covariate Shift with Stable Behavior Cloning
Shaunak A. Mehta, Yusuf Umut Ciftci, Balamurugan Ramachandran, Somil Bansal, Dylan P. Losey
IEEE Robotics and Automation Letters (RA-L), 2025 [PDF] [Website]

Paper Overview

Updating Robot Safety Representations Online from Natural Language Feedback
Leonardo Santos, Zirui Li, Lasse Peters, Somil Bansal, Andrea Bajcsy
IEEE International Conference on Robotics and Automation (ICRA), 2025 [PDF]

Paper Overview

SAFE-GIL: SAFEty Guided Imitation Learning
Yusuf Umut Ciftci, Darren Chiu, Zeyuan Feng, Gaurav Sukhatme, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2025 [PDF]

Paper Overview

System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles
Kaustav Chakraborty*, Zeyuan Feng*, Sushant Veer, Apoorva Sharma, Boris Ivanovic, Marco Pavone, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2025 [PDF] [Project Website]

Paper Overview

Reachability Analysis for Black-Box Dynamical Systems
Vamsi Krishna Chilakamarri*, Zeyuan Feng*, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2025 [Paper] [Code]

Paper Overview

Imposing Exact Safety Specifications in Neural Reachable Tubes
Aditya Singh*, Zeyuan Feng*, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2025 [PDF]

Paper Overview

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
Javier Borquez, Kaustav Chakraborty, Hao Wang, Somil Bansal
IEEE Transactions on Robotics (TRO), 2024 [PDF]

Paper Overview

Providing Safety Assurances for Systems with Unknown Dynamics
Hao Wang, Javier Borquez, Somil Bansal
IEEE Control Systems Letters (L-CSS), 2024 [PDF] [Code]

Paper Overview

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
Xingpeng Xia, Jason J. Choi, Ayush Agrawal, Koushil Sreenath, Claire J. Tomlin, Somil Bansal
IEEE Conference on Decision and Control (CDC), 2024 [PDF]

Paper Overview

Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers
Aryaman Gupta*, Kaustav Chakraborty*, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2024 [PDF] [Website] [Code]

Paper Overview

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
Javier Borquez, Shuang Peng, Yiyu Chen, Quan Nguyen, Somil Bansal
Robotics: Science and Systems (RSS), 2024 [PDF] [Website]

Paper Overview

Parameterized Fast and Safe Tracking (FaSTrack) using DeepReach
Hyun Joe Jeong, Zheng Gong, Somil Bansal, Sylvia Herbert
Learning for Dynamics and Control Conference (L4DC), 2024 [PDF]

Paper Overview

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
Albert Lin, Somil Bansal
Learning for Dynamics and Control Conference (L4DC), 2024 [PDF]

Paper Overview

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
Kaustav Chakraborty, Somil Bansal
IEEE Robotics and Automation Letters (RA-L), 2023 [PDF] [Website] [Code]

Paper Overview

Online Update of Safety Assurances Using Confidence-Based Predictions
Kensuke Nakamura, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2023 [PDF] [Website] [Code]

Paper Overview

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
Javier Borquez, Kensuke Nakamura, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2023 [PDF] [Website] [Code]

Paper Overview

Generating Formal Safety Assurances for High-Dimensional Reachability
Albert Lin, Somil Bansal
IEEE International Conference on Robotics and Automation (ICRA), 2023 [PDF] [Website] [Code]

Paper Overview

Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Jason Choi, Ayush Agrawal, Koushil Sreenath, Claire Tomlin, Somil Bansal
IEEE Robotics and Automation Letters (RA-L), and IEEE International Conference on Robotics and Automation (ICRA), 2022 [PDF] [Code and Videos]

Paper Overview

DeepReach: A Deep Learning Approach to High-Dimensional Reachability
Somil Bansal, Claire J. Tomlin
IEEE International Conference on Robotics and Automation (ICRA), 2021 [PDF] [Code]

Book Chapters

Paper Overview

Control and Safety of Autonomous Vehicles with Learning-Enabled Components
Somil Bansal, Claire J. Tomlin
Safe, Autonomous and Intelligent Vehicles, Springer, Page 57-75, 2019 [PDF] [BibTeX]

Technical Reports

Context-Specific Validation of Data-Driven Models
Somil Bansal, Shromona Ghosh, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Claire Tomlin
Technical report, March 2018 [PDF] [BibTeX]

Safe and Resilient Multi-vehicle Trajectory Planning Under Adversarial Intruder
Somil Bansal, Mo Chen, Claire Tomlin
Technical report, November 2017 [PDF]

MBMF: Model-Based Priors for Model-Free Reinforcement Learning
Somil Bansal, Roberto Calandra, Kurtland Chua, Sergey Levine, Claire Tomlin
Technical report, June 2017 [PDF] [BibTeX]

Model Predictive Control Approach to Electric Vehicle Charging in Smart Grids
Somil Bansal
MS Thesis, Department of Electrical Engineering and Computer Sciences, UC Berkeley, May 2014 [PDF]