Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
