Output Reachable Set Estimation and Verification for Multilayer Neural Networks
Xiang, Weiming ; Tran, Hoang-Dung ; Johnson, Taylor T.
IEEE transaction on neural networks and learning systems, 2018-11, Vol.29 (11), p.5777-5783
United States: IEEE
Texto completo disponível