@article{JMLR:v23:21-0847,
  author  = {Chelsea Sidrane and Amir Maleki and Ahmed Irfan and Mykel J. Kochenderfer},
  title   = {OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems},
  journal = {Journal of Machine Learning Research},
  year    = {2022},
  volume  = {23},
  number  = {117},
  pages   = {1--45},
  url     = {http://jmlr.org/papers/v23/21-0847.html}
}