1 paper
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…