Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution. - Mohammed I. Abouheaf; Frank L. Lewis; Sofie Haesaert; Robert Babuska; Kyriakos G. Vamvoudakis (ACC, 2013)

Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems. - Mohammed I. Abouheaf; Sofie Haesaert; Wei-Jen Lee; Frank L. Lewis (SSD, 2014)

Multi-agent discrete-time graphical games and reinforcement learning solutions. - Mohammed I. Abouheaf; Frank L. Lewis; Kyriakos G. Vamvoudakis; Sofie Haesaert; Robert Babuska (Autom., 2014)

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes. - Sofie Haesaert; Robert Babuska; Alessandro Abate (CoRR, 2014)

Data-driven property verification of grey-box systems by Bayesian experiment design. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (ACC, 2015)

Correct-by-design output feedback of LTI systems. - Sofie Haesaert; Alessandro Abate; Paul M. J. Van den Hof (CDC, 2015)

Data-driven and model-based verification: A Bayesian identification approach. - Sofie Haesaert; Alessandro Abate; Paul M. J. Van den Hof (CDC, 2015)

Observer-based correct-by-design controller synthesis. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (CoRR, 2015)

Experiment design for formal verification via stochastic optimal control. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (ECC, 2016)

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. - Sofie Haesaert; Alessandro Abate; Paul M. J. Van den Hof (QEST, 2016)

Data-Efficient Bayesian Verification of Parametric Markov Chains. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2016)

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2017)

Data-driven and model-based verification via Bayesian identification and reachability analysis. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (Autom., 2017)

Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. - Fei Chen; Sofie Haesaert; Alessandro Abate; Siep Weiland (CoRR, 2017)

Certified policy synthesis for general Markov decision processes: An application in building automation systems. - Sofie Haesaert; Nathalie Cauchi; Alessandro Abate (Perform. Evaluation, 2017)

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. - Sofie Haesaert; Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (SIAM J. Control. Optim., 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. - Sofie Haesaert; Petter Nilsson; Cristian Ioan Vasile; Rohan Thakker; Ali-akbar Agha-mohammadi; Aaron D. Ames; Richard M. Murray (ADHS, 2018)

Temporal logic control of general Markov decision processes by approximate policy refinement. - Sofie Haesaert; Sadegh Soudjani; Alessandro Abate (ADHS, 2018)

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. - Petter Nilsson; Sofie Haesaert; Rohan Thakker; Kyohei Otsu; Cristian Ioan Vasile; Ali-Akbar Agha-Mohammadi; Richard M. Murray; Aaron D. Ames (Robotics: Science and Systems, 2018)

A separation theorem for guaranteed H2 performance through matrix inequalities. - Sofie Haesaert; Siep Weiland; Carsten W. Scherer (Autom., 2018)

Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. - Sofie Haesaert; Rohan Thakker; Petter Nilsson; Ali-Akbar Agha-Mohammadi; Richard M. Murray (CDC, 2019)

ARCH-COMP19 Category Report: Stochastic Modelling. - 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; et al. (ARCH@CPSIoTWeek, 2019)

Achievements in correct-by-design control for stochastic systems. - Sofie Haesaert; Sadegh Soudjani (SNR, 2019)

Similarity quantification for linear stochastic systems as a set-theoretic control problem. - Birgit van Huijgevoort; Sofie Haesaert (CoRR, 2020)

Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration. - Takahiro Sasaki; Kyohei Otsu; Rohan Thakker; Sofie Haesaert; Ali-akbar Agha-mohammadi (IEEE Robotics Autom. Lett., 2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems. - Chris Verhoek; Roland Tóth; Sofie Haesaert; Anne Koch 001 (CDC, 2021)

Multi-layered simulation relations for linear stochastic systems. - B. C. van Huijgevoort; Sofie Haesaert (ECC, 2021)

Data-Driven Predictive Control for Linear Parameter-Varying Systems. - Chris Verhoek; Hossam S. Abbas; Roland Tóth; Sofie Haesaert (CoRR, 2021)

Formal Multi-Objective Synthesis of Continuous-State MDPs. - Sofie Haesaert; Petter Nilsson; Sadegh Soudjani (IEEE Control. Syst. Lett., 2021)

Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems. - Sofie Haesaert; Fei Chen; Alessandro Abate; Siep Weiland (IEEE Trans. Autom. Control., 2021)

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. - Sofie Haesaert; Sadegh Soudjani (IEEE Trans. Autom. Control., 2021)

ARCH-COMP22 Category Report: Stochastic Models. - 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; et al. (ARCH@SAFECOMP, 2022)

Correct-by-Design Control of Parametric Stochastic Systems. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (CDC, 2022)

Deep-Learning-Based Identification of LPV Models for Nonlinear Systems. - Chris Verhoek; Gerben Izaak Beintema; Sofie Haesaert; Maarten Schoukens; Roland Tóth (CDC, 2022)

Similarity quantification for linear stochastic systems: A coupling compensator approach. - Birgit van Huijgevoort; Sofie Haesaert (Autom., 2022)

ARCH-COMP23 Category Report: Stochastic Models. - 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; et al. (ARCH, 2023)

Abstracting Linear Stochastic Systems via Knowledge Filtering. - Maico Hendrikus Wilhelmus Engelaar; Licio Romao; Yulong Gao; Mircea Lazar; Alessandro Abate; Sofie Haesaert (CDC, 2023)

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. - Disha Kamale; Sofie Haesaert; Cristian-Ioan Vasile (CDC, 2023)

Automated Formation Control Synthesis from Temporal Logic Specifications. - Shuhao Qi; Zengjie Zhang; Sofie Haesaert; Zhiyong Sun (CDC, 2023)

Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (CDC, 2023)

Direct Data-Driven State-Feedback Control of General Nonlinear Systems. - Chris Verhoek; Patrick J. W. Koelewijn; Sofie Haesaert; Roland Tóth (CDC, 2023)

Modularized Control Synthesis for Complex Signal Temporal Logic Specifications. - Zengjie Zhang; Sofie Haesaert (CDC, 2023)

SySCoRe: Synthesis via Stochastic Coupling Relations. - Birgit van Huijgevoort; Oliver Schön; Sadegh Soudjani; Sofie Haesaert (HSCC, 2023)

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (HSCC, 2023)

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. - Disha Kamale; Sofie Haesaert; Cristian-Ioan Vasile (ICRA, 2023)

Stochastic Model Predictive Control with Dynamic Chance Constraints. - Maico Hendrikus Wilhelmus Engelaar; Sofie Haesaert; Mircea Lazar (ICSTCC, 2023)

Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving. - Lin-Chi Wu; Zengjie Zhang; Sofie Haesaert; Zhiqiang Ma 001; Zhiyong Sun (IECON, 2023)

Direct data-driven signal temporal logic control of linear systems. - Birgit van Huijgevoort; Chris Verhoek; Roland Tóth; Sofie Haesaert (CoRR, 2023)

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Licio Romao; Yulong Gao; Mircea Lazar; Alessandro Abate; Sofie Haesaert (CoRR, 2023)

Bayesian Approach to Temporal Logic Control of Uncertain Systems. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (CoRR, 2023)

A Linear Parameter-Varying Approach to Data Predictive Control. - Chris Verhoek; Julian Berberich; Sofie Haesaert; Roland Tóth; Hossam S. Abbas (CoRR, 2023)

Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction. - B. C. van Huijgevoort; Siep Weiland; Sofie Haesaert (IEEE Control. Syst. Lett., 2023)

Convex incremental dissipativity analysis of nonlinear systems. - Chris Verhoek; Patrick J. W. Koelewijn; Sofie Haesaert; Roland Tóth (Autom., 2023)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; M. Lazar; Sofie Haesaert (ADHS, 2024)

Direct data-driven control with signal temporal logic specifications. - B. C. van Huijgevoort; Chris Verhoek; Roland Tóth; Sofie Haesaert (ADHS, 2024)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; Eleftherios E. Vlahakis; Dimos V. Dimarogonas; Mircea Lazar; Sofie Haesaert (CDC, 2024)

Awareness in Robotics: An Early Perspective from the Viewpoint of the EIC Pathfinder Challenge "Awareness Inside". - Cosimo Della Santina; Carlos Hernández Corbato; Burak Sisman; Luis A. Leiva; Ioannis Arapakis; Michalis Vakalellis; Jean Vanderdonckt; Luis Fernando D'Haro; Guido Manzi; Cristina Becchio; Aïda Elamrani; Mohsen Alirezaei; et al. (ERF (1), 2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; Mircea Lazar; Sofie Haesaert (CoRR, 2024)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; Eleftherios E. Vlahakis; Mircea Lazar; Sofie Haesaert (CoRR, 2024)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach. - B. C. van Huijgevoort; Ruohan Wang; Sadegh Soudjani; Sofie Haesaert (CoRR, 2024)

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications. - Teun van de Laar; Zengjie Zhang; Shuhao Qi; Sofie Haesaert; Zhiyong Sun (CoRR, 2024)

Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications. - Shuhao Qi; Zengjie Zhang; Zhiyong Sun; Sofie Haesaert (CoRR, 2024)

SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness. - Ernesto Casablanca; Zengjie Zhang; Gregorio Marchesini; Sofie Haesaert; Dimos V. Dimarogonas; Sadegh Soudjani (CoRR, 2024)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees. - Maico Hendrikus Wilhelmus Engelaar; Micha P. P. Swaanen; Mircea Lazar; Sofie Haesaert (CoRR, 2024)

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes. - Shuhao Qi; Zengjie Zhang; Zhiyong Sun; Sofie Haesaert (CoRR, 2024)

The behavioral approach for LPV data-driven representations. - Chris Verhoek; Ivan Markovsky; Sofie Haesaert; Roland Tóth (CoRR, 2024)

Resilient Containment Under Time-Varying Networks With Relaxed Graph Robustness. - Zirui Liao; Shaoping Wang; Jian Shi; Sofie Haesaert; Yuwei Zhang; Zhiyong Sun (IEEE Trans. Netw. Sci. Eng., 2024)

Data-Driven Dissipativity Analysis of Linear Parameter-Varying Systems. - Chris Verhoek; Julian Berberich; Sofie Haesaert; Frank Allgöwer; Roland Tóth (IEEE Trans. Autom. Control., 2024)

Scalable control synthesis for stochastic systems via structural IMDP abstractions. - Frederik Baymler Mathiesen; Sofie Haesaert; Luca Laurenti (HSCC, 2025)

Unraveling tensor structures in correct-by-design controller synthesis. - Ruohan Wang; Zhiyong Sun; Sofie Haesaert (CoRR, 2025)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations. - Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani (IEEE Trans. Autom. Control., 2025)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion. - Zengjie Zhang; Zhiyong Sun; Sofie Haesaert (IEEE Trans. Intell. Veh., 2025)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version). - Oliver Schön; Sofie Haesaert; Sadegh Soudjani (CoRR, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - Alessandro Abate; Omid Akbarzadeh; Henk A. P. Blom; Sofie Haesaert; Sina Hassani; Abolfazl Lavaei; Frederik Baymler Mathiesen; Rahul Misra; Amy Nejati; Mathis Niehage; Fie Ørum; Anne Remke; et al. (CoRR, 2025)

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers. - Zengjie Zhang; Giannis Badakis; Michalis Galanis; Adem Bavarsi; Edwin Van Hassel; Mohsen Alirezaei; Sofie Haesaert (CoRR, 2025)

Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution. - Shuhao Qi; Zhiqi Tang; Zhiyong Sun; Sofie Haesaert (CoRR, 2025)