2 papers
cs.SE2026
Scenario-based System Testing for Distributed Robotics Applications
Jan Peleska, Felix Brüning, Wen-Ling Huang +1
We present the SCenario Specification Language (SCSL) for automated generation and execution of system-level tests. SCSL targets complex distributed systems (e.g., collaborating au…
cs.CV2023
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…