@misc{indiciae90ef048302ab,
  title = {Continuous Safety Verification of Neural Networks},
  author = {Chih-Hong Cheng and Rongjie Yan},
  year = {2021},
  url = {https://arxiv.org/abs/2010.05689},
  note = {Source identifier: 2010.05689}
}