Citing VNN-LIB

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

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

Steering Committee

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

Web Site

This site is currently maintained by:

Funding

If you wish to contribute to the development of VNN-LIB please contact Armando Tacchella (armando.tacchella@unige.it)