An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
Contributo in Atti di convegno
Data di Pubblicazione:
2010
Citazione:
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks / Pulina, Luca; Tacchella, A.. - 6174:(2010), pp. 243-257. ( International Conference on Computer Aided Verification Edinburgh (UK) 15-19/7/2010) [10.1007/978-3-642-14295-6_24].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
22nd International Conference on Computer Aided Verification (CAV 2010)
Pubblicato in: