NNV Demo: A Neural Network Verification Tool (bibtex)

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

Reference:

Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and Taylor T. Johnson, "NNV Demo: A Neural Network Verification Tool", In 2nd IEEE Workshop on Design Automation for CPS and IoT (DESTION'20), Co-located with IEEE/ACM CPS-IoT Week 2020, IEEE, pp. 21–22, 2020.

Bibtex Entry:

@inproceedings{tran2020destion,
  title = {NNV Demo: A Neural Network Verification Tool},
  author = {Hoang-Dung Tran and Diego Manzanas Lopez and Xiaodong Yang and Patrick Musau and Luan Viet Nguyen and Weiming Xiang and Stanley Bak and Taylor T. Johnson},
  year = {2020},
  month = apr,
  booktitle = {2nd IEEE Workshop on Design Automation for CPS and IoT (DESTION'20), Co-located with IEEE/ACM CPS-IoT Week 2020},
  pages = {21--22},
  publisher = {IEEE},
  doi = {10.1109/DESTION50928.2020.00010},
  publabel = {D7},
  pubtype = {D},
  s2id = {220606300},
}