Challenging SMT solvers to verify neural networks

Articolo
Data di Pubblicazione:
2012
Citazione:
Challenging SMT solvers to verify neural networks / Pulina, Luca; Tacchella, A.. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 25:2(2012), pp. 117-135. [10.3233/AIC-2012-0525]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.uniss.it/handle/11388/59141
Pubblicato in:
AI COMMUNICATIONS
Journal