3 papers
eess.SY2026
From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
Ebonye Smith, Sampada Deglurkar, Jingqi Li +2
Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for nonlinear systems. However, it becomes computationally intractable in high-dimensional settings, motivating…
eess.SY2026
Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
Sampada Deglurkar, Ebonye Smith, Jingqi Li +1
Reachability computations that rely on learned or estimated models require calibration in order to uphold confidence about their guarantees. Calibration generally involves sampling…
eess.SY2026
System-Level Analysis of Module Uncertainty Quantification in the Autonomy Pipeline
Sampada Deglurkar, Haotian Shen, Anish Muthali +5
Modern autonomous systems with machine learning components often use uncertainty quantification to help produce assurances about system operation. However, there is a lack of conse…