Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
Contributo in Atti di convegno
Data di Pubblicazione:
2011
Citazione:
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation / Pulina, Luca; Tacchella, A.. - 6934:(2011), pp. 127-138. ( XIIth International Conference of the Italian Association for Artificial Intelligence Palermo, Italy September 15-17) [10.1007/978-3-642-23954-0_14].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
AI*IA 2011: Artificial Intelligence Around Man and Beyond- XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
Pubblicato in: