@misc{indiciae3238eb5e38bb,
  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},
  url = {https://arxiv.org/abs/2004.05519},
  note = {Source identifier: 2004.05519}
}