Enhancing neural networks through formal verification

Conference Paper
Publication Date:
2019
Short description:
Enhancing neural networks through formal verification / Guidotti, D.. - 2495:(2019), pp. 107-112.
Iris type:
4.1 Contributo in Atti di convegno
List of contributors:
Authors of the University:
Handle:
https://iris.uniss.it/handle/11388/343154
Book title:
Discussion and Doctoral Consortium Papers of AI*IA - 18th International Conference of the Italian Association for Artificial Intelligence
Published in:
CEUR WORKSHOP PROCEEDINGS
Journal
CEUR WORKSHOP PROCEEDINGS
Series