Citing VNN-LIB

To cite VNN-LIB please use something like the following:

The Verification of Neural Networks Library (VNN-LIB), 2019 [BibTeX]

Steering Committee

  • Clark Barrett
  • Guy Katz
  • Nina Narodytska
  • Luca Pulina
  • Armando Tacchella

Web Site

This site is currently maintained by:


If you wish to contribute to the development of VNN-LIB please contact Armando Tacchella (