Birgit van Huijgevoort

16 papers Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.
IEEE Trans. Autom. Control.
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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
2023 J jnl
Bayesian Approach to Temporal Logic Control of Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 J jnl
Direct data-driven signal temporal logic control of linear systems.
CoRR
Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert
2023 — conf
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.
HSCC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 — conf
SySCoRe: Synthesis via Stochastic Coupling Relations.
HSCC
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 J jnl
SySCoRe: Synthesis via Stochastic Coupling Relations.
CoRR
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 — conf
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 J jnl
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
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
2022 — conf
Correct-by-Design Control of Parametric Stochastic Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Correct-by-Design Control of Parametric Stochastic Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Similarity quantification for linear stochastic systems: A coupling compensator approach.
Autom.
Birgit van Huijgevoort, Sofie Haesaert
2021 J jnl
Multi-layered simulation relations for linear stochastic systems.
CoRR
Birgit van Huijgevoort, Sofie Haesaert
2020 J jnl
Similarity quantification for linear stochastic systems as a set-theoretic control problem.
CoRR
Birgit van Huijgevoort, Sofie Haesaert
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
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, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod