First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) (bibtex)

by Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson and Changliu Liu

Reference:

Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson and Changliu Liu, "First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)", International Journal on Software Tools for Technology Transfer (STTT), Springer, 2023.

Bibtex Entry:

@article{brix2023sttt,
  title = {First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)},
  author = {Christopher Brix and Mark Niklas Müller and Stanley Bak and Taylor T. Johnson and Changliu Liu},
  year = {2023},
  month = jan,
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  publisher = {Springer},
  doi = {10.1007/s10009-023-00703-4},
  publabel = {J28},
  pubtype = {J},
  arxiv = {2301.05815},
  dblp = {journals/corr/abs-2301-05815},
  s2id = {255942627},
  pdf = "research/brix2023sttt.pdf",
}