Oliver Schön

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

Collaborative distances:

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

2024

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

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

CoRR, 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

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