1 paper
Rasmus Adler, Mohammed Naveed Akram, Pascal Bauer +6
Context: Across different domains, Artificial Neural Networks (ANNs) are used more and more in safety-critical applications in which erroneous outputs of such ANN can have catastro…