Oliver Schön

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Stochastic Models

Stochastic Systems

Design Procedure

Top Venues

UbiComp/ISWC Adjunct

Publications

Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. CoRR (2024)
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. CoRR (2024)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CoRR (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CDC (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC (2023)
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
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC (2023)
Oliver Schön, Ricarda-Samantha Götte, Julia Timmermann
Multi-Objective Physics-Guided Recurrent Neural Networks for Identifying Non-Autonomous Dynamical Systems. CoRR (2022)
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
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems. CoRR (2022)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems. CDC (2022)
Martin Weigel, Oliver Schön, Herbert Janssen
Evaluation of body-worn FPCBs with bluetooth low energy, capacitive touch, and resistive flex sensing. UbiComp/ISWC Adjunct (2020)