Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection
Contributo in Atti di convegno
Data di Pubblicazione:
2024
Citazione:
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].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
Link alla scheda completa:
Titolo del libro:
37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2024
Pubblicato in: