@misc{indiciae4e37fc7cfde5,
  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},
  url = {https://arxiv.org/abs/2108.01220},
  note = {Source identifier: 2108.01220}
}