Author:Stefano Demarchi

Publications
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet Stefano Demarchi, Dario Guidotti, Luca Pulina and Armando Tacchella In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems