6 citations · 7 across the 3 of their papers we have counts for
3 papers
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
This paper addresses the problem of data-driven computation of controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requ…
SySCoRe: Synthesis via Stochastic Coupling Relations
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani +1
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system descripti…
Correct-by-Design Control of Parametric Stochastic Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We deve…