Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
Contributo in Atti di convegno
Data di Pubblicazione:
2023
Citazione:
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].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando
Link alla scheda completa:
Titolo del libro:
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023
Pubblicato in: