Generating Formal Safety Assurances for High-Dimensional Reachability. - Albert Lin 003; Somil Bansal (ICRA, 2023)

Verification of neural reachable tubes via scenario optimization and conformal prediction. - Albert Lin 003; Somil Bansal (L4DC, 2024)

One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments. - Albert Lin 003; Shuang Peng 014; Somil Bansal (CoRR, 2024)