Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet

Conference Paper
Publication Date:
2023
Short description:
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet / Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando. - 16:(2023), pp. 47-58. ( 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems Parigi, Francia Luglio 17-18) [10.29007/5pdh].
Iris type:
4.1 Contributo in Atti di convegno
List of contributors:
Authors of the University:
Handle:
https://iris.uniss.it/handle/11388/348729
Book title:
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023
Published in:
KALPA PUBLICATIONS IN COMPUTING
Series