The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results (bibtex)

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

Reference:

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu and Taylor T. Johnson, "The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results", 2022.

Bibtex Entry:

@inproceedings{muller2023vnncomp,
  title = {The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results},
  author = {Mark Niklas Müller and Christopher Brix and Stanley Bak and Changliu Liu and Taylor T. Johnson},
  year = {2022},
  publabel = {R11},
  pubtype = {R},
  dblp = {journals/corr/abs-2212-10376},
}