| 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 | 144 | 2014 |
| 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 | 35 | 2017 |
| 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 | 20 | 2017 |
| 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 | 18 | 2017 |
| Robust dynamic programming for temporal logic control of stochastic systems S Haesaert, S Soudjani IEEE Transactions on Automatic Control, 2020 | 17 | 2020 |
| 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 | 16 | 2013 |
| 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 | 14 | 2018 |
| 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 | 14 | 2018 |
| 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 | 14 | 2015 |
| 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 | 14 | 2015 |
| 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 | 13 | 2018 |
| 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 | 12 | 2016 |
| 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 | 11 | 2018 |
| 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 | 11 | 2017 |
| 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 | 11 | 2015 |
| 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 | 10 | 2014 |
| 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 | 7 | 2013 |
| ARCH-COMP19 Category Report: Stochastic Modelling. A Abate, H Blom, N Cauchi, K Degiorgio, M Fränzle, EM Hahn, ... ARCH@ CPSIoTWeek, 62-102, 2019 | 6 | 2019 |
| 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 | 5 | 2014 |
| A separation theorem for guaranteed H2 performance through matrix inequalities S Haesaert, S Weiland, CW Scherer Automatica 96, 306-313, 2018 | 4 | 2018 |
