@article{modelagnosticreachabilityanalysisondeep,
  title = {Model-Agnostic Reachability Analysis on Deep Neural Networks},
  author = {Chi Zhang and Wenjie Ruan and Fu Wang and Peipei Xu and Geyong Min and Xiaowei Huang},
  year = {2023},
  eprint = {2304.00813},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2304.00813v1},
}