Zhongzhu Shao | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙