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

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

doi:10.1007/978-3-030-53288-8_1

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

Reference:

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson, "NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems", In 32nd International Conference on Computer-Aided Verification (CAV), 2020, July.

Bibtex Entry:

@inproceedings{tran2020cav_tool,
author = "Hoang-Dung Tran and Xiaodong Yang and Diego Manzanas Lopez and Patrick Musau and Luan Viet Nguyen and Weiming Xiang and Stanley Bak and Taylor T. Johnson",
title = "{NNV}: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems",
booktitle = "32nd International Conference on Computer-Aided Verification (CAV)",
year = "2020",
month = "July",
pdf = "research/tran2020cav_tool.pdf",
doi = "10.1007/978-3-030-53288-8_1",
}