Follow
Sofie Haesaert
Sofie Haesaert
Electrical Engineering Department, TU Eindhoven
Verified email at tue.nl - Homepage
Title
Cited by
Cited by
Year
Multi-agent discrete-time graphical games and reinforcement learning solutions
MI Abouheaf, FL Lewis, KG Vamvoudakis, S Haesaert, R Babuska
Automatica 50 (12), 3038-3053, 2014
2552014
Verification of general Markov decision processes by approximate similarity relations and policy refinement
S Haesaert, SE Zadeh Soudjani, A Abate
SIAM Journal on Control and Optimization 55 (4), 2333-2367, 2017
572017
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020
482020
Data-driven and model-based verification via Bayesian identification and reachability analysis
S Haesaert, PMJ Van den Hof, A Abate
Automatica 79, 115-126, 2017
432017
Data-driven predictive control for linear parameter-varying systems
C Verhoek, HS Abbas, R Tóth, S Haesaert
IFAC-PapersOnLine 54 (8), 101-108, 2021
362021
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
P Nilsson, S Haesaert, R Thakker, K Otsu, CI Vasile, ...
Robotics: Science and systems 14, 1-9, 2018
362018
Fundamental lemma for data-driven analysis of linear parameter-varying systems
C Verhoek, R Tóth, S Haesaert, A Koch
2021 60th IEEE conference on decision and control (CDC), 5040-5046, 2021
342021
Where to map? iterative rover-copter path planning for mars exploration
T Sasaki, K Otsu, R Thakker, S Haesaert, A Agha-mohammadi
IEEE Robotics and Automation Letters 5 (2), 2123-2130, 2020
332020
Temporal logic control of pomdps via label-based stochastic simulation relations
S Haesaert, P Nilsson, CI Vasile, R Thakker, A Agha-mohammadi, ...
IFAC-PapersOnLine 51 (16), 271-276, 2018
292018
Data-efficient Bayesian verification of parametric Markov chains
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016
262016
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, HAP Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, ...
ARCH@ ADHS 54, 71-103, 2018
252018
Convex incremental dissipativity analysis of nonlinear systems
C Verhoek, PJW Koelewijn, S Haesaert, R Tóth
Automatica 150, 110859, 2023
232023
Temporal logic control of general Markov decision processes by approximate policy refinement
S Haesaert, S Soudjani, A Abate
IFAC-PapersOnLine 51 (16), 73-78, 2018
232018
Certified policy synthesis for general Markov decision processes: An application in building automation systems
S Haesaert, N Cauchi, A Abate
Performance Evaluation 117, 75-103, 2017
232017
Automated experiment design for data-efficient verification of parametric Markov decision processes
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
222017
Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution
M Abouheaf, F Lewis, S Haesaert, R Babuska, K Vamvoudakis
2013 American Control Conference, 4189-4195, 2013
222013
Data-driven property verification of grey-box systems by Bayesian experiment design
S Haesaert, PMJ Van den Hof, A Abate
2015 American Control Conference (ACC), 1800-1805, 2015
192015
Data-driven and model-based verification: A bayesian identification approach
S Haesaert, A Abate, PMJ Van den Hof
2015 54th IEEE Conference on Decision and Control (CDC), 6830-6835, 2015
182015
Correct-by-design output feedback of LTI systems
S Haesaert, A Abate, PMJ Van den Hof
2015 54th IEEE Conference on Decision and Control (CDC), 6159-6164, 2015
162015
ARCH-COMP19 category report: Stochastic modelling
A Abate, HAP Blom, N Cauchi, K Degiorgio, M Franzle, EM Hahn, ...
6th International Workshop on Applied veRification for Continuous and Hybrid …, 2019
142019
The system can't perform the operation now. Try again later.
Articles 1–20