| 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 | 287 | 2014 |
| 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 | 67 | 2021 |
| 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 | 64 | 2017 |
| Robust dynamic programming for temporal logic control of stochastic systems S Haesaert, S Soudjani IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020 | 56 | 2020 |
| 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 | 54 | 2021 |
| 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 | 47 | 2020 |
| 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 | 44 | 2017 |
| 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 | 37 | 2018 |
| Convex incremental dissipativity analysis of nonlinear systems C Verhoek, PJW Koelewijn, S Haesaert, R Tóth Automatica 150, 110859, 2023 | 35 | 2023 |
| 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 | 34 | 2018 |
| ARCH-COMP19 category report: Stochastic modelling A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ... 6th International Workshop on Applied Verification of Continuous and Hybrid …, 2019 | 31 | 2019 |
| Arch-comp21 category report: Stochastic models A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 27 | 2021 |
| 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 | 27 | 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 | 26 | 2018 |
| 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 | 23 | 2017 |
| 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 | 23 | 2013 |
| 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 | 22 | 2017 |
| SySCoRe: Synthesis via stochastic coupling relations B Van Huijgevoort, O Schön, S Soudjani, S Haesaert Proceedings of the 26th ACM international conference on hybrid systems …, 2023 | 20 | 2023 |
| Deep-learning-based identification of LPV models for nonlinear systems C Verhoek, GI Beintema, S Haesaert, M Schoukens, R Tóth 2022 IEEE 61st Conference on Decision and Control (CDC), 3274-3280, 2022 | 20 | 2022 |
| 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 | 19 | 2015 |