@misc{indiciae84de7ba6e53f,
  title = {Verisig: verifying safety properties of hybrid systems with neural network controllers},
  author = {Radoslav Ivanov and James Weimer and Rajeev Alur and George J. Pappas and Insup Lee},
  year = {2018},
  url = {https://arxiv.org/abs/1811.01828},
  note = {Source identifier: 1811.01828}
}