Oliver Schön

According to our database, Oliver Schön authored at least 20 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations.

Bardh Hoxha, Oliver Schön, Hideki Okamoto, Lars Lindemann, Georgios Fainekos

CoRR, May, 2026

Safety Certification is Classification.

Oliver Schön, Licio Romao, Sadegh Soudjani

CoRR, May, 2026

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning.

Oliver Schön, Lars Lindemann

CoRR, March, 2026

Kernel-Based Learning of Safety Barriers.

Oliver Schön, Zhengang Zhong, Sadegh Soudjani

CoRR, January, 2026

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems.

Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version).

Oliver Schön, Sofie Haesaert, Sadegh Soudjani

CoRR, June, 2025

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

IEEE Trans. Autom. Control., March, 2025

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates.

Oliver Schön, Sofie Haesaert, Sadegh Soudjani

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.

Oliver Schön, Zhengang Zhong, Sadegh Soudjani

Proceedings of the American Control Conference, 2024

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.

Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs.

Negar Monir, Oliver Schön, Sadegh Soudjani

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

CoRR, 2023

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

SySCoRe: Synthesis via Stochastic Coupling Relations.

Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

ARCH-COMP23 Category Report: Stochastic Models.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Multi-Objective Physics-Guided Recurrent Neural Networks for Identifying Non-Autonomous Dynamical Systems.

Oliver Schön, Ricarda-Samantha Götte, Julia Timmermann

CoRR, 2022

Correct-by-Design Control of Parametric Stochastic Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

ARCH-COMP22 Category Report: Stochastic Models.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2020

Evaluation of body-worn FPCBs with bluetooth low energy, capacitive touch, and resistive flex sensing.

Martin Weigel, Oliver Schön, Herbert Janssen

Proceedings of the UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, 2020