Formal methods and software engineering for DL. Security, safety and productivity for DL systems development

Gaetan J. D. R. Hains, Arvid Jakobsson, Youry Khmelevsky

Deep Learning (DL) techniques are now widespread and being integrated into many important systems. Their classification and recognition abilities ensure their relevance for multipl…