Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet / Demarchi, S., Guidotti, D., Pulina, L., Tacchella, A.. - 16:(2023), pp. 47-58. (6th Workshop on Formal Methods for ML-Enabled Autonomous Systems Parigi, Francia 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.


