Sofie Haesaert

111 papers A* 1A 2C 4Journal 66Unranked 38
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Behavioral Approach for LPV Data-Driven Representations.
IEEE Trans. Autom. Control.
Chris Verhoek, Ivan Markovsky, Sofie Haesaert, Roland Tóth
2026 J jnl
A Linear Parameter-Varying Approach to Data Predictive Control.
IEEE Trans. Autom. Control.
Chris Verhoek, Julian Berberich, Sofie Haesaert, Roland Tóth, Hossam S. Abbas
2025 J jnl
A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers.
CoRR
Zengjie Zhang, Giannis Badakis, Michalis Galanis, Adem Bavarsi, Edwin Van Hassel, Mohsen Alirezaei, Sofie Haesaert
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
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, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2025 J jnl
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.
IEEE Trans. Autom. Control.
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2025 J jnl
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution.
CoRR
Ruohan Wang, Siyuan Liu, Zhiyong Sun, Sofie Haesaert
2025 J jnl
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version).
CoRR
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
2025 — conf
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates.
QEST+FORMATS
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
2025 A conf
Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution.
IROS
Shuhao Qi, Zhiqi Tang, Zhiyong Sun, Sofie Haesaert
2025 J jnl
Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution.
CoRR
Shuhao Qi, Zhiqi Tang, Zhiyong Sun, Sofie Haesaert
2025 J jnl
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion.
IEEE Trans. Intell. Veh.
Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
2025 A conf
Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications.
IROS
Shuhao Qi, Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
2025 — conf
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
HSCC
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
2025 J jnl
Situation-Aware Interactive MPC Switching for Autonomous Driving.
CoRR
Shuhao Qi, Qiling Aori, Luyao Zhang, Mircea Lazar, Sofie Haesaert
2025 — conf
Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees.
ECC
Maico Hendrikus Wilhelmus Engelaar, Micha P. P. Swaanen, Mircea Lazar, Sofie Haesaert
2025 — conf
Unraveling tensor structures in correct-by-design controller synthesis.
CDC
Ruohan Wang, Zhiyong Sun, Sofie Haesaert
2025 J jnl
Unraveling tensor structures in correct-by-design controller synthesis.
CoRR
Ruohan Wang, Zhiyong Sun, Sofie Haesaert
2024 J jnl
Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes.
CoRR
Shuhao Qi, Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
2024 — conf
Awareness in Robotics: An Early Perspective from the Viewpoint of the EIC Pathfinder Challenge "Awareness Inside".
ERF (1)
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, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra
2024 J jnl
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside".
CoRR
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, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra
2024 J jnl
Data-Driven Dissipativity Analysis of Linear Parameter-Varying Systems.
IEEE Trans. Autom. Control.
Chris Verhoek, Julian Berberich, Sofie Haesaert, Frank Allgöwer, Roland Tóth
2024 — conf
Direct data-driven control with signal temporal logic specifications.
ADHS
B. C. van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert
2024 J jnl
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion.
CoRR
Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
2024 J jnl
Resilient Containment Under Time-Varying Networks With Relaxed Graph Robustness.
IEEE Trans. Netw. Sci. Eng.
Zirui Liao, Shaoping Wang, Jian Shi, Sofie Haesaert, Yuwei Zhang, Zhiyong Sun
2024 J jnl
Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications.
CoRR
Shuhao Qi, Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
2024 — conf
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics.
ADHS
Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Mircea Lazar, Sofie Haesaert
2024 J jnl
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics.
CoRR
Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Mircea Lazar, Sofie Haesaert
2024 — conf
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications.
CDC
Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Dimos V. Dimarogonas, Mircea Lazar, Sofie Haesaert
2024 J jnl
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications.
CoRR
Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Mircea Lazar, Sofie Haesaert
2024 J jnl
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
CoRR
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
2024 J jnl
Specification-guided temporal logic control for stochastic systems: a multi-layered approach.
CoRR
B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert
2024 J jnl
Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees.
CoRR
Maico Hendrikus Wilhelmus Engelaar, Micha P. P. Swaanen, Mircea Lazar, Sofie Haesaert
2024 J jnl
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness.
CoRR
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini, Sofie Haesaert, Dimos V. Dimarogonas, Sadegh Soudjani
2024 J jnl
The behavioral approach for LPV data-driven representations.
CoRR
Chris Verhoek, Ivan Markovsky, Sofie Haesaert, Roland Tóth
2024 J jnl
VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications.
CoRR
Teun van de Laar, Zengjie Zhang, Shuhao Qi, Sofie Haesaert, Zhiyong Sun
2023 J jnl
A Linear Parameter-Varying Approach to Data Predictive Control.
CoRR
Chris Verhoek, Julian Berberich, Sofie Haesaert, Roland Tóth, Hossam S. Abbas
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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
2023 — conf
Abstracting Linear Stochastic Systems via Knowledge Filtering.
CDC
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
2023 — conf
Automated Formation Control Synthesis from Temporal Logic Specifications.
CDC
Shuhao Qi, Zengjie Zhang, Sofie Haesaert, Zhiyong Sun
2023 J jnl
Automated Formation Control Synthesis from Temporal Logic Specifications.
CoRR
Shuhao Qi, Zengjie Zhang, Sofie Haesaert, Zhiyong Sun
2023 J jnl
Bayesian Approach to Temporal Logic Control of Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 A* conf
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
ICRA
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2023 J jnl
Convex incremental dissipativity analysis of nonlinear systems.
Autom.
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth
2023 J jnl
Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems.
CoRR
Chris Verhoek, Julian Berberich, Sofie Haesaert, Frank Allgöwer, Roland Tóth
2023 — conf
Direct Data-Driven State-Feedback Control of General Nonlinear Systems.
CDC
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth
2023 J jnl
Direct data-driven signal temporal logic control of linear systems.
CoRR
Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert
2023 J jnl
Direct data-driven state-feedback control of general nonlinear systems.
CoRR
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth
2023 — conf
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
CDC
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2023 J jnl
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
CoRR
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2023 J jnl
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.
CoRR
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
2023 — conf
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications.
CDC
Zengjie Zhang, Sofie Haesaert
2023 J jnl
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications.
CoRR
Zengjie Zhang, Sofie Haesaert
2023 — conf
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.
HSCC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 C conf
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving.
IECON
Lin-Chi Wu, Zengjie Zhang, Sofie Haesaert, Zhiqiang Ma, Zhiyong Sun
2023 J jnl
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving.
CoRR
Lin-Chi Wu, Zengjie Zhang, Sofie Haesaert, Zhiqiang Ma, Zhiyong Sun
2023 — conf
Stochastic Model Predictive Control with Dynamic Chance Constraints.
ICSTCC
Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar
2023 J jnl
Stochastic Model Predictive Control with Dynamic Chance Constraints.
CoRR
Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar
2023 — conf
SySCoRe: Synthesis via Stochastic Coupling Relations.
HSCC
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 J jnl
SySCoRe: Synthesis via Stochastic Coupling Relations.
CoRR
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 J jnl
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.
IEEE Control. Syst. Lett.
B. C. van Huijgevoort, Siep Weiland, Sofie Haesaert
2023 — conf
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 J jnl
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
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
2022 J jnl
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
CoRR
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2022 — conf
Correct-by-Design Control of Parametric Stochastic Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Correct-by-Design Control of Parametric Stochastic Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 — conf
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems.
CDC
Chris Verhoek, Gerben Izaak Beintema, Sofie Haesaert, Maarten Schoukens, Roland Tóth
2022 J jnl
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems.
CoRR
Chris Verhoek, Gerben Izaak Beintema, Sofie Haesaert, Maarten Schoukens, Roland Tóth
2022 J jnl
Similarity quantification for linear stochastic systems: A coupling compensator approach.
Autom.
Birgit van Huijgevoort, Sofie Haesaert
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
Data-Driven Predictive Control for Linear Parameter-Varying Systems.
CoRR
Chris Verhoek, Hossam S. Abbas, Roland Tóth, Sofie Haesaert
2021 J jnl
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.
IEEE Trans. Autom. Control.
Sofie Haesaert, Fei Chen, Alessandro Abate, Siep Weiland
2021 C conf
Formal Multi-Objective Synthesis of Continuous-State MDPs.
ACC
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
2021 J jnl
Formal Multi-Objective Synthesis of Continuous-State MDPs.
IEEE Control. Syst. Lett.
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
2021 — conf
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.
CDC
Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch
2021 J jnl
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.
CoRR
Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch
2021 — conf
Multi-layered simulation relations for linear stochastic systems.
ECC
B. C. van Huijgevoort, Sofie Haesaert
2021 J jnl
Multi-layered simulation relations for linear stochastic systems.
CoRR
Birgit van Huijgevoort, Sofie Haesaert
2021 J jnl
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.
IEEE Trans. Autom. Control.
Sofie Haesaert, Sadegh Soudjani
2020 J jnl
Similarity quantification for linear stochastic systems as a set-theoretic control problem.
CoRR
Birgit van Huijgevoort, Sofie Haesaert
2020 J jnl
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration.
CoRR
Takahiro Sasaki, Kyohei Otsu, Rohan Thakker, Sofie Haesaert, Ali-Akbar Agha-Mohammadi
2020 J jnl
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration.
IEEE Robotics Autom. Lett.
Takahiro Sasaki, Kyohei Otsu, Rohan Thakker, Sofie Haesaert, Ali-Akbar Agha-Mohammadi
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
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
2019 — conf
Achievements in correct-by-design control for stochastic systems.
SNR
Sofie Haesaert, Sadegh Soudjani
2019 — conf
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.
CDC
Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray
2018 J jnl
A separation theorem for guaranteed H2 performance through matrix inequalities.
Autom.
Sofie Haesaert, Siep Weiland, Carsten W. Scherer
2018 — conf
ARCH-COMP18 Category Report: Stochastic Modelling.
ARCH@ADHS
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
2018 J jnl
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.
CoRR
Sofie Haesaert, Sadegh Soudjani
2018 — conf
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
ADHS
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-Akbar Agha-Mohammadi, Aaron D. Ames, Richard M. Murray
2018 — conf
Temporal logic control of general Markov decision processes by approximate policy refinement.
ADHS
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
2018 — conf
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Robotics: Science and Systems
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
2017 — conf
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
QEST
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2017 J jnl
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
CoRR
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2017 J jnl
Certified policy synthesis for general Markov decision processes: An application in building automation systems.
Perform. Evaluation
Sofie Haesaert, Nathalie Cauchi, Alessandro Abate
2017 J jnl
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations.
CoRR
Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland
2017 J jnl
Data-driven and model-based verification via Bayesian identification and reachability analysis.
Autom.
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2017 J jnl
Temporal logic control of general Markov decision processes by approximate policy refinement.
CoRR
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2017 J jnl
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
SIAM J. Control. Optim.
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2016 — conf
Data-Efficient Bayesian Verification of Parametric Markov Chains.
QEST
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2016 — conf
Experiment design for formal verification via stochastic optimal control.
ECC
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2016 — conf
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
QEST
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
2016 J jnl
Verification of general Markov decision processes by approximate similarity relations and policy refinement.
CoRR
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2015 — conf
Correct-by-design output feedback of LTI systems.
CDC
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
2015 J jnl
Data-driven and Model-based Verification: a Bayesian Identification Approach.
CoRR
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2015 — conf
Data-driven and model-based verification: A Bayesian identification approach.
CDC
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
2015 C conf
Data-driven property verification of grey-box systems by Bayesian experiment design.
ACC
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2015 J jnl
Observer-based correct-by-design controller synthesis.
CoRR
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2014 — conf
Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems.
SSD
Mohammed I. Abouheaf, Sofie Haesaert, Wei-Jen Lee, Frank L. Lewis
2014 J jnl
Multi-agent discrete-time graphical games and reinforcement learning solutions.
Autom.
Mohammed I. Abouheaf, Frank L. Lewis, Kyriakos G. Vamvoudakis, Sofie Haesaert, Robert Babuska
2014 J jnl
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.
CoRR
Sofie Haesaert, Robert Babuska, Alessandro Abate
2013 C conf
Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution.
ACC
Mohammed I. Abouheaf, Frank L. Lewis, Sofie Haesaert, Robert Babuska, Kyriakos G. Vamvoudakis