Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression. - Weiming Xiang 001; Zhongzhu Shao (ACC, 2022)

Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction. - Weiming Xiang 001; Zhongzhu Shao (CDC, 2022)