Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
复制标题
ACAS Xu查找表神经网络压缩星集可达性验证
DOI：
10.2514/6.2021-0995
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Hobbs, Kerianne L.
中科院分区：
文献类型：
--
作者：
Manzanas Lopez, Diego;Johnson, Taylor;Tran, Hoang-Dung;Bak, Stanley;Chen, Xin;Hobbs, Kerianne L.
DOI：
10.1007/978-3-030-53288-8_4
发表时间：
2020-06-13
期刊：
Computer Aided Verification
影响因子：
--
作者：
Bak S;Tran HD;Hobbs K;Johnson TT
通讯作者：
Johnson TT
影响因子：
2
作者：
Hoang-Dung Tran;Cai, Feiyang;Koutsoukos, Xenofon
通讯作者：
Koutsoukos, Xenofon
马尔可夫决策过程最优值函数的压缩
DOI：
10.1109/dcc.2013.81
发表时间：
2013
期刊：
2013 Data Compression Conference
影响因子：
--
作者：
Mykel J. Kochenderfer;Nicholas Monath
通讯作者：
Nicholas Monath