Certifiable Deep Learning for Reachability Using a New Lipschitz Continuous Value Function. - Jingqi Li 001; Donggun Lee; Jaewon Lee; Kris Shengjun Dong; Somayeh Sojoudi; Claire J. Tomlin (CoRR, 2024)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function. - Jingqi Li 001; Donggun Lee; Jaewon Lee; Kris Shengjun Dong; Somayeh Sojoudi; Claire J. Tomlin (IEEE Robotics Autom. Lett., 2025)