Sofie Haesaert

Available identifiers

Publication	Date of Publication	Type
Data-driven dissipativity analysis of linear parameter-varying systems	2025-01-21	Paper
SySCoRe: Synthesis via Stochastic Coupling Relations	2024-02-21	Paper
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱	2024-02-21	Paper
Convex incremental dissipativity analysis of nonlinear systems	2023-06-22	Paper
Similarity quantification for linear stochastic systems: a coupling compensator approach	2022-08-23	Paper
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems	2021-07-26	Paper
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems	2021-05-28	Paper
A separation theorem for guaranteed \(H_2\) performance through matrix inequalities	2019-02-05	Paper
Verification of general Markov decision processes by approximate similarity relations and policy refinement	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	2017-10-11	Paper
Verification of general Markov decision processes by approximate similarity relations and policy refinement	2017-08-14	Paper
Multi-agent discrete-time graphical games and reinforcement learning solutions	2015-04-28	Paper

This page was built for person: Sofie Haesaert