5 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Jan Peleska, Felix Brüning, Mario Gleirscher +1
This technical report presents research results achieved in the field of verification of trained Convolutional Neural Network (CNN) used for image classification in safety-critical…