Shao, Zhongzhu

1. Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression
   2022/02/02 by Xiang, Weiming, Shao, Zhongzhu · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
   2023/01/17 by Weiming Xiang, Zhongzhu Shao, Xiang, Weiming +1 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Fuel Cells and Related Materials #Machine Learning (cs.LG)