6 citations · 11 across the 2 of their papers we have counts for
1 paper · 1 filter
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…