@article{nnvtheneuralnetworkverificationtoolfor,
  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},
  eprint = {2004.05519},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2004.05519v1},
}