5 citations · 11 across the 7 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024★ 2 cited
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…
eess.SY2023★ 5 cited
CESAR: Control Envelope Synthesis via Angelic Refinements
Aditi Kabra, Jonathan Laurent, Stefan Mitsch +1
This paper presents an approach for synthesizing provably correct control envelopes for hybrid systems. Control envelopes characterize families of safe controllers and are used to…