I. Introduction
Artificial neural networks (NN) are instrumental in realizing a number of important features in safety-relevant applications such as highly-automated driving. In particular, vision-based perception, the prediction of drivers' intention, and even end-to-end autonomous control are usually based on NN technology. State-of-the-practice safety engineering processes (cmp. ISO 26262) require that safety-relevant components, including NN-enabled ones, demonstrably satisfy their respective safety goals.