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

Weiming Xiang, Zhongzhu Shao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science