Competitions & Publications

NNV has been validated through 11 competition entries (VNN-COMP and ARCH-COMP) and 30+ peer-reviewed publications since 2018.

---

VNN-COMP & ARCH-COMP

Competition entries and results for the annual VNN-COMP and ARCH-COMP benchmarks.

VNN-COMP & ARCH-COMP

Publications

Full list of peer-reviewed papers using or describing NNV.

Publications

How to Cite

BibTeX entries for citing NNV in your research.

How to Cite