From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
The authors developed a hierarchical probabilistic verification framework to improve reachability learning safety in high-dimensional systems. They combine an efficient global certification step using scenario optimization with an online local refinement module. This structure allows the system to provide scalable safety guarantees while focusing computation on critical state regions, leading to better performance in drone racing simulations.