| 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 |
| 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 |
| Arch-comp22 category report: stochastic models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing 90, 113-141, 2022 | 14 | 2022 |
| Similarity quantification for linear stochastic systems: A coupling compensator approach BC van Huijgevoort, S Haesaert Automatica 144, 110476, 2022 | 11 | 2022 |
| Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction BC van Huijgevoort, S Weiland, S Haesaert IEEE Control Systems Letters 7, 1039-1044, 2022 | 10 | 2022 |
| Correct-by-design control of parametric stochastic systems O Schön, B van Huijgevoort, S Haesaert, S Soudjani 2022 IEEE 61st Conference on Decision and Control (CDC), 5580-5587, 2022 | 7 | 2022 |
| ARCH-COMP23 category report: stochastic models A Abate, H Blom, N Cauchi, J Delicaris, S Haesaert, B van Huijgevoort, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 5 | 2023 |
| Bayesian approach to temporal logic control of uncertain systems O Schön, B van Huijgevoort, S Haesaert, S Soudjani arXiv preprint arXiv:2304.07428, 2023 | 4 | 2023 |
| Multi-layered simulation relations for linear stochastic systems BC van Huijgevoort, S Haesaert 2021 European control conference (ECC), 728-733, 2021 | 4 | 2021 |
| Similarity quantification for linear stochastic systems as a set-theoretic control problem BC van Huijgevoort, S Haesaert arXiv 2020, 2007.09052, 2020 | 4 | 2020 |
| Direct data-driven signal temporal logic control of linear systems BC van Huijgevoort, C Verhoek, R Tóth, S Haesaert arXiv preprint arXiv:2304.02297, 2023 | 3 | 2023 |
| Parameters tuning of snake robots sidewinding gait using Bayesian optimization MJ Koopaee, B Van Huijgevoort, C Pretty, XQ Chen 2018 4th International Conference on Control, Automation and Robotics (ICCAR …, 2018 | 3 | 2018 |
| Bayesian formal synthesis of unknown systems via robust simulation relations O Schön, B van Huijgevoort, S Haesaert, S Soudjani IEEE Transactions on Automatic Control, 2024 | 2 | 2024 |
| Verifying the unknown: Correct-by-design control synthesis for networks of stochastic uncertain systems O Schön, B van Huijgevoort, S Haesaert, S Soudjani 2023 62nd IEEE Conference on Decision and Control (CDC), 7035-7042, 2023 | 2 | 2023 |
| Structure preserving discretization of 1d nonlinear port-hamiltonian distributed parameter systems BC van Huijgevoort, S Weiland, HJ Zwart arXiv preprint arXiv:2104.10952, 2021 | 1 | 2021 |
| Specification-guided temporal logic control for stochastic systems: a multi-layered approach BC van Huijgevoort, R Wang, S Soudjani, S Haesaert arXiv preprint arXiv:2407.03896, 2024 | | 2024 |
| Direct data-driven control with signal temporal logic specifications BC van Huijgevoort, C Verhoek, R Tóth, S Haesaert IFAC-PapersOnLine 58 (11), 177-182, 2024 | | 2024 |
| Automatic Control Synthesis with Temporal Logic Requirements: Stochastic, Uncertain, and Nonlinear Systems BC van Huijgevoort | | 2023 |
| Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ O Schön, B Van Huijgevoort, S Haesaert, S Soudjani Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | | 2023 |
| ARCH-COMP22 Stochastic Models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing, 2022 | | 2022 |
