NNV 2.0: the neural network verification tool

Lopez, Diego Manzanas; Choi, Sung Woo; Tran, Hoang-Dung; Johnson, Taylor T.

by Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson

Reference:

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson, "NNV 2.0: the neural network verification tool", In International Conference on Computer Aided Verification (CAV), vol. , no. , pp. , 2023, july.

Bibtex Entry:

@INPROCEEDINGS{lopez2023cav,
  author={Diego Manzanas Lopez and Sung Woo Choi and Hoang-Dung Tran and Taylor T. Johnson},
  booktitle={International Conference on Computer Aided Verification (CAV)}, 
  title={{NNV} 2.0: the neural network verification tool}, 
  year={2023},
  month=july,
  volume={},
  number={},
  pages={},
  doi={},
  pdf="research/lopez2023cav.pdf"
}