Zhongzhu Shao | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Weiming Xiang
14 publications

research

∙ 01/17/2023

Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction

This paper aims to enhance the computational efficiency of safety verifi...

0 Weiming Xiang, et al. ∙

research

∙ 02/02/2022

Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression

In this paper, we propose a concept of approximate bisimulation relation...

0 Weiming Xiang, et al. ∙