1 citations · 1 across the 1 of their papers we have counts for
3 papers
eess.SY2025
A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
Mario Gleirscher, Philip Hönnecke
Objective: To obtain explainable guarantees in the online synthesis of optimal controllers for high-integrity cyber-physical systems, we re-investigate the use of exhaustive search…
eess.SY2025★ 1 cited
Solvability of Approximate Reach-Avoid Games
Mario Gleirscher
Objective: In a companion paper, we propose a parametric hybrid automaton model and an algorithm for the online synthesis of robustly correct and near-optimal controllers for cyber…
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…