TY  - RPRT
TI  - First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
AU  - Christopher Brix
AU  - Mark Niklas Müller
AU  - Stanley Bak
AU  - Taylor T. Johnson
AU  - Changliu Liu
PY  - 2023
DO  - 10.1007/s10009-023-00703-4
UR  - https://arxiv.org/abs/2301.05815
ID  - 2301.05815
ER  -