2 papers
cs.LG2023
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
Weiming Xiang, Zhongzhu Shao
This paper aims to enhance the computational efficiency of safety verification of neural network control systems by developing a guaranteed neural network model reduction method. F…
cs.LG2022
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression
Weiming Xiang, Zhongzhu Shao
In this paper, we propose a concept of approximate bisimulation relation for feedforward neural networks. In the framework of approximate bisimulation relation, a novel neural netw…