Sofie Haesaert
Sofie Haesaert
Electrical Engineering Department, TU Eindhoven
Email confirmado em tue.nl - Página inicial
Título
Citado por
Citado por
Ano
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
1232014
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
282017
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
162013
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
152017
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
132017
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
ARCH@ ADHS, 71-103, 2018
122018
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
122015
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
122015
Data-efficient Bayesian verification of parametric Markov chains
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
International Conference on Quantitative Evaluation of Systems, 35-51, 2016
112016
Automated experiment design for data-efficient verification of parametric Markov decision processes
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
International Conference on Quantitative Evaluation of Systems, 259-274, 2017
102017
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
102015
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
92018
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
arXiv preprint arXiv:1811.11445, 2018
82018
Approximate and reinforcement learning techniques to solve non-convex economic dispatch problems
MI Abouheaf, S Haesaert, WJ Lee, FL Lewis
2014 IEEE 11th International Multi-Conference on Systems, Signals & Devices …, 2014
82014
Q-Learning with Eligibility Traces to solve Non-Convex economic dispatch problems
MI Abouheaf, S Haesaert, WJ Lee, FL Lewis
International Journal of Electrical and Computer Engineering 6 (7), 723-730, 2013
82013
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
72018
Toward specification-guided active mars exploration for cooperative robot teams
P Nilsson, S Haesaert, R Thakker, K Otsu, CI Vasile, ...
Robotics: Science and Systems Foundation, 2018
62018
Experiment design for formal verification via stochastic optimal control
S Haesaert, PMJ Van den Hof, A Abate
2016 European Control Conference (ECC), 427-432, 2016
52016
Sampling-based approximations with quantitative performance for the probabilistic reach-avoid problem over general Markov processes
S Haesaert, R Babuska, A Abate
arXiv preprint arXiv:1409.0553, 2014
52014
A separation theorem for guaranteed H2 performance through matrix inequalities
S Haesaert, S Weiland, CW Scherer
Automatica 96, 306-313, 2018
42018
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20