8 citations · 23 across the 9 of their papers we have counts for
1 paper · 2 filters
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled…