Kris Shengjun Dong

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function

We propose a new reachability learning framework for high-dimensional nonlinear systems, focusing on <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">reach-avoid problems</i>. These problems require computing the <italic xmlns:mml="http://www.w3.org/1