Sofie Haesaert

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Birgit van Huijgevoort

> Home > Persons > Sofie Haesaert

Publications

2025
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SchonHHS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SchonHHS25
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations. IEEE Trans. Autom. Control. 70(3): 1531-1546 (2025)
2024
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/HuijgevoortVTH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/HuijgevoortVTH24
B. C. van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert:
Direct data-driven control with signal temporal logic specifications. ADHS 2024: 177-182
[i37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-03896
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-03896
B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert:
Specification-guided temporal logic control for stochastic systems: a multi-layered approach. CoRR abs/2407.03896 (2024)
2023
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/HuijgevoortWH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/HuijgevoortWH23
B. C. van Huijgevoort, Siep Weiland, Sofie Haesaert:
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction. IEEE Control. Syst. Lett. 7: 1039-1044 (2023)
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AbateBCDHHLRSSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AbateBCDHHLRSSS23
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:
ARCH-COMP23 Category Report: Stochastic Models. ARCH 2023: 126-150
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SchonHHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SchonHHS23
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: 7035-7042
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HuijgevoortSSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HuijgevoortSSH23
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC 2023: 13:1-13:11
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SchonHHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SchonHHS23
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC 2023: 22:1-22:2
[i29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-12294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-12294
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR abs/2302.12294 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-02297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-02297
Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert:
Direct data-driven signal temporal logic control of linear systems. CoRR abs/2304.02297 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-07428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-07428
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR abs/2304.07428 (2023)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-01276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-01276
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 abs/2309.01276 (2023)
2022
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/HuijgevoortH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/HuijgevoortH22
Birgit van Huijgevoort, Sofie Haesaert:
Similarity quantification for linear stochastic systems: A coupling compensator approach. Autom. 144: 110476 (2022)
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AbateBDHHHLMNRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AbateBDHHHLMNRS22
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:
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 2022: 113-141
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SchonHHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SchonHHS22
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Correct-by-Design Control of Parametric Stochastic Systems. CDC 2022: 5580-5587
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08269
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08269
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Correct-by-Design Control of Parametric Stochastic Systems. CoRR abs/2210.08269 (2022)
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/HuijgevoortH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/HuijgevoortH21
B. C. van Huijgevoort, Sofie Haesaert:
Multi-layered simulation relations for linear stochastic systems. ECC 2021: 728-733
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-00625
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-00625
Birgit van Huijgevoort, Sofie Haesaert:
Multi-layered simulation relations for linear stochastic systems. CoRR abs/2104.00625 (2021)
2020
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-09052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-09052
Birgit van Huijgevoort, Sofie Haesaert:
Similarity quantification for linear stochastic systems as a set-theoretic control problem. CoRR abs/2007.09052 (2020)
2019
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/AbateBCDFHHMOPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19
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:
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 2019: 62-102

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.