Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function

Jingqi Li, Donggun Lee, Jaewon Lee +3

We propose a new reachability learning framework for high-dimensional nonlinear systems, focusing on reach-avoid problems. These problems require computing the reach-avoid set, whi…