Safety verification for deep neural networks with provable guarantees (2019)

First Author: Kwiatkowska M
Attributed to:  Mobile Robotics: Enabling a Pervasive Technology of the Future funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://ora.ox.ac.uk/objects/uuid:5866ee47-a875-4c93-bd89-1a9352bfe10f

Type: Conference/Paper/Proceeding/Abstract

Volume: 140

ISSN: 18688969