Sofie Haesaert

Identifiers

• name variant Sofie Haesaert 0.60 · backfill

Papers (11)

1. Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL eess.SY · 2026 · author #4
2. Situation-Aware Interactive MPC Switching for Autonomous Driving cs.RO · 2025 · author #5
3. Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution eess.SY · 2025 · author #4
4. Unraveling tensor structures in correct-by-design controller synthesis eess.SY · 2025 · author #3
5. Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems cs.SY · 2018 · author #1
6. Temporal logic control of general Markov decision processes by approximate policy refinement cs.SY · 2017 · author #1
7. Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes cs.LG · 2017 · author #3
8. Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations cs.SY · 2017 · author #2
9. Observer-based correct-by-design controller synthesis cs.SY · 2015 · author #1
10. Data-driven and Model-based Verification: a Bayesian Identification Approach cs.SY · 2015 · author #1
11. Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes cs.SY · 2014 · author #1

Mentions

• 1712.07622 #1 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 1707.01322 #3 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 1704.01672 #2 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 1509.03427 #1 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 1509.03347 #1 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 1409.0553 #1 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 2512.06182 #5 · arxiv_oai · confidence 0.70 Sofie Haesaert
• 1409.0553 #1 · backfill · confidence 0.70 Sofie Haesaert
• 2503.24085 #3 · arxiv_oai · confidence 0.70 Sofie Haesaert

Frequent Coauthors

• Alessandro Abate 6 shared papers
• Ruohan Wang 3 shared papers
• Paul M.J. Van den Hof 2 shared papers
• Sadegh Soudjani 2 shared papers
• Siyuan Liu 2 shared papers
• Zhiyong Sun 2 shared papers
• Elizabeth Polgreen 1 shared papers
• Fei Chen 1 shared papers
• Luyao Zhang 1 shared papers
• Mircea Lazar 1 shared papers
• Qiling Aori 1 shared papers
• Robert Babuska 1 shared papers
• Shuhao Qi 1 shared papers
• Siep Weiland 1 shared papers
• Viraj Wijesuriya 1 shared papers
• Xinyuan Qiu 1 shared papers