2 citations · 7 across the 13 of their papers we have counts for
Showing 2025 · eess.SYShow all
2 papers · 2 filters
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★ 1 cited
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…