TY  - RPRT
TI  - The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
AU  - Christopher Brix
AU  - Stanley Bak
AU  - Changliu Liu
AU  - Taylor T. Johnson
PY  - 2023
UR  - https://arxiv.org/abs/2312.16760
ID  - 2312.16760
ER  -