most citedA Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks

3 citations · 3 across the 2 of their papers we have counts for

collaborators

2 papers

cs.FL2026

Testing and Learning Symbolic Finite State Machines

Wen-ling Huang, Jan Peleska

Symbolic finite state machines (SFSMs) describe input/output behaviour using guards and output assignments with possibly infinite data domains. We study deterministic and completel…

cs.CV2023★ 3 cited

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks

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…