Evaluation of body-worn FPCBs with bluetooth low energy, capacitive touch, and resistive flex sensing. - Martin Weigel 001; Oliver Schön; Herbert Janssen (UbiComp/ISWC Adjunct, 2020)

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; et al. (ARCH@SAFECOMP, 2022)

Correct-by-Design Control of Parametric Stochastic Systems. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (CDC, 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)

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; et al. (ARCH, 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 (CDC, 2023)

SySCoRe: Synthesis via Stochastic Coupling Relations. - Birgit van Huijgevoort; Oliver Schön; Sadegh Soudjani; Sofie Haesaert (HSCC, 2023)

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (HSCC, 2023)

Bayesian Approach to Temporal Logic Control of Uncertain Systems. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (CoRR, 2023)

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs. - Negar Monir; Oliver Schön; Sadegh Soudjani (ADHS, 2024)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. - Oliver Schön; Shammakh Naseer; Ben Wooding; Sadegh Soudjani (ADHS, 2024)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. - Oliver Schön; Zhengang Zhong; Sadegh Soudjani (ACC, 2024)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (IEEE Trans. Autom. Control., 2025)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version). - Oliver Schön; Sofie Haesaert; Sadegh Soudjani (CoRR, 2025)