Sofie Haesaert

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Scalable control synthesis for stochastic systems via structural imdp abstractions	2025-11-07	Paper
SySCcoRe 2.0: toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications Nonlinear Analysis. Hybrid Systems	2025-10-14	Paper
Bayesian formal synthesis of unknown systems via robust simulation relations IEEE Transactions on Automatic Control	2025-07-10	Paper
Data-driven dissipativity analysis of linear parameter-varying systems IEEE Transactions on Automatic Control	2025-01-21	Paper
SySCoRe: Synthesis via Stochastic Coupling Relations Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Convex incremental dissipativity analysis of nonlinear systems Automatica	2023-06-22	Paper
Similarity quantification for linear stochastic systems: a coupling compensator approach Automatica	2022-08-23	Paper
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems IEEE Transactions on Automatic Control	2021-07-26	Paper
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems IEEE Transactions on Automatic Control	2021-05-28	Paper
A separation theorem for guaranteed H₂ performance through matrix inequalities Automatica	2019-02-05	Paper
Verification of general Markov decision processes by approximate similarity relations and policy refinement (available as arXiv preprint)	2018-01-11	Paper
Data-efficient Bayesian verification of parametric Markov chains	2018-01-11	Paper
Data-driven and model-based verification via Bayesian identification and reachability analysis Automatica	2017-10-11	Paper
Verification of general Markov decision processes by approximate similarity relations and policy refinement SIAM Journal on Control and Optimization	2017-08-14	Paper
Multi-agent discrete-time graphical games and reinforcement learning solutions Automatica	2015-04-28	Paper

Research outcomes over time

This page was built for person: Sofie Haesaert