Enhancing neural networks through formal verification

Contributo in Atti di convegno

Data di Pubblicazione:

2019

Citazione:

Enhancing neural networks through formal verification / Guidotti, D.. - 2495:(2019), pp. 107-112.

Tipologia CRIS:

4.1 Contributo in Atti di convegno

Elenco autori:

Autori di Ateneo:

GUIDOTTI Dario

Link alla scheda completa:

Titolo del libro:

Discussion and Doctoral Consortium Papers of AI*IA - 18th International Conference of the Italian Association for Artificial Intelligence

Pubblicato in:

Journal

Series