4 citations · 6 across the 9 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
Ernesto Casablanca, Oliver Schön, Paolo Zuliani +1
Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verif…
eess.SY2024
Safe Reach Set Computation via Neural Barrier Certificates
Alessandro Abate, Sergiy Bogomolov, Alec Edwards +3
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by emplo…