Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection / Guidotti, Dario; Pandolfo, Laura; Pulina, Luca. - 14748 LNAI:(2024), pp. 297-309. [10.1007/978-981-97-4677-4_25]
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection
Guidotti, Dario;Pandolfo, Laura;Pulina, Luca
2024-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.