Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection / Guidotti, D., Pandolfo, L., Pulina, L.. - 14748 LNAI:(2024), pp. 297-309. (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.


