2 papers
eess.SY2026
Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
Devesh Nath, Haoran Yin, Glen Chou
We propose a scalable reachability-based framework for probabilistic, data-driven safety verification of unknown nonlinear dynamics. We use Koopman theory with a neural network (NN…
cs.RO2025
Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
Devesh Nath, Haoran Yin, Glen Chou
We present a method for formal safety verification of learning-based generative motion planners. Generative motion planners (GMPs) offer advantages over traditional planners, but v…