NNV 2.0: The Neural Network Verification Tool (bibtex)

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

Reference:

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran and Taylor T. Johnson, "NNV 2.0: The Neural Network Verification Tool", In 35th International Conference on Computer Aided Verification (CAV'23), Springer, 2023.

Bibtex Entry:

@inproceedings{lopez2023cav,
  title = {NNV 2.0: The Neural Network Verification Tool},
  author = {Diego Manzanas Lopez and Sung Woo Choi and Hoang-Dung Tran and Taylor T. Johnson},
  year = {2023},
  month = jul,
  booktitle = {35th International Conference on Computer Aided Verification (CAV'23)},
  publisher = {Springer},
  doi = {10.1007/978-3-031-37703-7_19},
  keywords = {neural networks, cyber-physical systems,verification,tool},
  publabel = {C40},
  pubtype = {C},
  dblp = {conf/cav/LopezCTJ23},
  pdf = "research/lopez2023cav.pdf",
}