NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

por Tran, Hoang-Dung, Yang, Xiaodong, Manzanas Lopez, Diego, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.
Publicado 2020