TY  - RPRT
TI  - Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
AU  - Weiming Xiang
AU  - Zhongzhu Shao
PY  - 2023
UR  - https://arxiv.org/abs/2301.07531
ID  - 2301.07531
ER  -