@misc{indiciaefcab573e76bc,
  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},
  doi = {10.1007/s10009-023-00703-4},
  url = {https://arxiv.org/abs/2301.05815},
  note = {Source identifier: 2301.05815}
}