Oliver Schön

24 papers A* 1C 1Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Kernel-Based Learning of Safety Barriers.
CoRR
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2026 A* conf
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems.
AAAI
Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
2026 J jnl
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning.
CoRR
Oliver Schön, Lars Lindemann
2025 J jnl
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.
IEEE Trans. Autom. Control.
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2025 J jnl
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version).
CoRR
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
2025 — conf
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates.
QEST+FORMATS
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
2025 J jnl
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems.
CoRR
Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
2024 — conf
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.
ADHS
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
2024 J jnl
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.
CoRR
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
2024 C conf
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.
ACC
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2024 J jnl
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.
CoRR
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2024 — conf
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs.
ADHS
Negar Monir, Oliver Schön, Sadegh Soudjani
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
2023 J jnl
Bayesian Approach to Temporal Logic Control of Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 — conf
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.
HSCC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 — conf
SySCoRe: Synthesis via Stochastic Coupling Relations.
HSCC
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 J jnl
SySCoRe: Synthesis via Stochastic Coupling Relations.
CoRR
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 — conf
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 J jnl
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
2022 — conf
Correct-by-Design Control of Parametric Stochastic Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Correct-by-Design Control of Parametric Stochastic Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Multi-Objective Physics-Guided Recurrent Neural Networks for Identifying Non-Autonomous Dynamical Systems.
CoRR
Oliver Schön, Ricarda-Samantha Götte, Julia Timmermann
2020 — conf
Evaluation of body-worn FPCBs with bluetooth low energy, capacitive touch, and resistive flex sensing.
UbiComp/ISWC Adjunct
Martin Weigel, Oliver Schön, Herbert Janssen