[IEEE 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) - Sydney, Australia (2020.4.21-2020.4.21)] 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) - Demo: The Neural Network Verification (NNV) Tool
Tran, Hoang-Dung, Lopez, Diego Manzanas, Yang, Xiaodong, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.Year:
2020
DOI:
10.1109/DESTION50928.2020.00010
File:
PDF, 114 KB
2020