Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet / Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando. - 16:(2023), pp. 47-58. (Intervento presentato al convegno 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems tenutosi a Parigi, Francia nel Luglio 17-18) [10.29007/5pdh].
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
Demarchi, Stefano
;Guidotti, Dario;Pulina, Luca;Tacchella, Armando
2023-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.