4 citations · 6 across the 9 of their papers we have counts for
Showing 2025Show 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…
cs.LO2025
Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
Siwei Hu, Victor Lopata, Sadegh Soudjani +1
In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrat…