Safety verification for deep neural networks with provable guarantees

Computing systems are becoming ever more complex, increasingly often incorporating deep learning components. Since deep learning is unstable with respect to adversarial perturbations, there is a need for rigorous software development methodologies that encompass machine learning. This paper describe...

Szczegółowa specyfikacja

Opis bibliograficzny
1. autor: Kwiatkowska, M
Format: Conference item
Wydane: Leibniz International Proceedings in Informatics, LIPIcs 2019