TY  - RPRT
TI  - From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
AU  - Ebonye Smith
AU  - Sampada Deglurkar
AU  - Jingqi Li
AU  - Gechen Qu
AU  - Claire J. Tomlin
PY  - 2026
UR  - https://arxiv.org/abs/2603.24990
ID  - 2603.24990
ER  -