@misc{indiciae4ed71e6301a9,
  title = {Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function},
  author = {Jingqi Li and Donggun Lee and Jaewon Lee and Kris Shengjun Dong and Somayeh Sojoudi and Claire Tomlin},
  year = {2025},
  url = {https://arxiv.org/abs/2408.07866},
  note = {Source identifier: 2408.07866}
}