Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet.

Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella

Browse the full CAV paper archive.