@misc{indiciaeef6ef78a9452,
  title = {Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction},
  author = {Weiming Xiang and Zhongzhu Shao},
  year = {2023},
  url = {https://arxiv.org/abs/2301.07531},
  note = {Source identifier: 2301.07531}
}