Showing eess.SYShow all
3 papers · 1 filter
eess.SY2025
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
As neural networks (NNs) become increasingly prevalent in safety-critical neural network-controlled cyber-physical systems (NNCSs), formally guaranteeing their safety becomes cruci…
eess.SY2025
Verification of Autonomous Neural Car Control with KeYmaera X
Enguerrand Prebet, Samuel Teuber, André Platzer
This article presents a formal model and formal safety proofs for the ABZ'25 case study in differential dynamic logic (dL). The case study considers an autonomous car driving on a…
eess.SY2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Samuel Teuber, Stefan Mitsch, André Platzer
While neural networks (NNs) have potential as autonomous controllers for Cyber-Physical Systems, verifying the safety of NN based control systems (NNCSs) poses significant challeng…