@article{safetyverificationofneuralnetworkcontrol,
  title = {Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction},
  author = {Weiming Xiang and Zhongzhu Shao},
  year = {2023},
  eprint = {2301.07531},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2301.07531v1},
}