@article{certifiabledeeplearningforreachability,
  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 = {2024},
  eprint = {2408.07866},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2408.07866v5},
}