Active Calibration of Reachable Sets Using Approximate Pick-to-Learn. - Sampada Deglurkar; Ebonye Smith; Jingqi Li 001; Claire J. Tomlin (CoRR, 2026)

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning. - Ebonye Smith; Sampada Deglurkar; Jingqi Li 001; Gechen Qu; Claire J. Tomlin (CoRR, 2026)