Sign in
Oliver Schön
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 10
Top Topics
Stochastic Systems
Design Procedure
Stochastic Models
Temporal Logic
Top Venues
CoRR
HSCC
CDC
UbiComp/ISWC Adjunct
</>
Publications
</>
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)
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)
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)