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

2024
9789819746767
9789819746774
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]
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/346979
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact