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

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

Reference:

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and 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'20), Springer, pp. 3–17, 2020.

Bibtex Entry:

@inproceedings{tran2020cav_tool,
  title = {NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems},
  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},
  year = {2020},
  month = jul,
  booktitle = {32nd International Conference on Computer-Aided Verification (CAV'20)},
  volume = {12224},
  pages = {3--17},
  publisher = {Springer},
  doi = {10.1007/978-3-030-53288-8_1},
  publabel = {C27},
  pubtype = {C},
  arxiv = {2004.05519},
  dblp = {journals/corr/abs-2004-05519},
  s2id = {215744954},
  pdf = "research/tran2020cav_tool.pdf",
}