ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

Similarity quantification for linear stochastic systems as a set-theoretic control problem. - Birgit van Huijgevoort; Sofie Haesaert (CoRR, 2020)

Multi-layered simulation relations for linear stochastic systems. - B. C. van Huijgevoort; Sofie Haesaert (ECC, 2021)

Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems. - B. C. van Huijgevoort; Siep Weiland; Hans J. Zwart (CoRR, 2021)

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)

Similarity quantification for linear stochastic systems: A coupling compensator approach. - Birgit van Huijgevoort; Sofie Haesaert (Autom., 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)

Direct data-driven signal temporal logic control of linear systems. - Birgit van Huijgevoort; Chris Verhoek; Roland Tóth; Sofie Haesaert (CoRR, 2023)

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

Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction. - B. C. van Huijgevoort; Siep Weiland; Sofie Haesaert (IEEE Control. Syst. Lett., 2023)

Direct data-driven control with signal temporal logic specifications. - B. C. van Huijgevoort; Chris Verhoek; Roland Tóth; Sofie Haesaert (ADHS, 2024)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach. - B. C. van Huijgevoort; Ruohan Wang; Sadegh Soudjani; Sofie Haesaert (CoRR, 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)