10 citations · 10 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
The requirement for identifying accurate system representations has not only been a challenge to fulfill, but it has compromised the scalability of formal methods, as the resulting…
Multi-Objective Physics-Guided Recurrent Neural Networks for Identifying Non-Autonomous Dynamical Systems
Oliver Schön, Ricarda-Samantha Götte, Julia Timmermann
While trade-offs between modeling effort and model accuracy remain a major concern with system identification, resorting to data-driven methods often leads to a complete disregard…