@article{overtanalgorithmforsafetyverificationof,
  title = {OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems},
  author = {Chelsea Sidrane and Amir Maleki and Ahmed Irfan and Mykel J. Kochenderfer},
  year = {2021},
  eprint = {2108.01220},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2108.01220v1},
}