Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
复制标题
使用保证神经网络模型约简的神经网络控制系统的安全验证
DOI：
10.1109/cdc51059.2022.9992984
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Shao, Zhongzhu
中科院分区：
文献类型：
--
作者：
Xiang, Weiming;Shao, Zhongzhu
