Speaker
Georg Nührenberg
(fortiss GmbH)
Description
The deployment of Artificial Neural Networks (ANNs) in critical missions poses a number of new verification challenges. In particular, for ANN-enabled perception and control it is important to establish properties about the resilience of ANNs to noisy or even maliciously manipulated sensory input. Furthermore, given interpretability of the inputs and outputs of an ANN, certain safety properties can be verified. This talk summarizes the current state of the art of measuring the resilience and verifying safety properties of ANNs. We show the possibilities for application as well as future research challenges.
Primary author
Georg Nührenberg
(fortiss GmbH)
