Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection / Guidotti, Dario; Pandolfo, Laura; Pulina, Luca. - 14748 LNAI:(2024), pp. 297-309. (Intervento presentato al convegno 37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2024) [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.