25 citations · 28 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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 approximate or learned models require calibration in order to uphold confidence about their guarantees. Calibration generally involves sampli…