@misc{singh2024imposing,
  title={Imposing Exact Safety Specifications in Neural Reachable Tubes},
  author={Aditya Singh and Zeyuan Feng and Somil Bansal},
  year={2024},
  eprint={2404.00814},
  archivePrefix={arXiv},
  primaryClass={cs.RO},
  url={https://arxiv.org/abs/2404.00814}
}