1 citations · 1 across the 3 of their papers we have counts for
4 papers
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
Albert Lin, Alessandro Pinto, Somil Bansal
As perception-based controllers for autonomous systems become increasingly popular in the real world, it is important that we can formally verify their safety and performance despi…
One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
Albert Lin, Shuang Peng, Somil Bansal
As learning-based methods for legged robots rapidly grow in popularity, it is important that we can provide safety assurances efficiently across different controllers and environme…
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
Albert Lin, Somil Bansal
Learning-based approaches for controlling safety-critical systems are rapidly growing in popularity; thus, it is important to assure their performance and safety. Hamilton-Jacobi (…
Generating Formal Safety Assurances for High-Dimensional Reachability
Albert Lin, Somil Bansal
Providing formal safety and performance guarantees for autonomous systems is becoming increasingly important. Hamilton-Jacobi (HJ) reachability analysis is a popular formal verific…