4 papers
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
Oliver Schön, Lars Lindemann
The reliability of autonomous systems depends on their robustness, i.e., their ability to meet their objectives under uncertainty. In this paper, we study spatiotemporal robustness…
Kernel-Based Learning of Safety Barriers
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
The rapid integration of AI algorithms in safety-critical applications such as autonomous driving and healthcare is raising significant concerns about the ability to meet stringent…
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…