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 | 9 | 2023 |
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 | 8 | 2022 |
Arch-comp22 category report: stochastic models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing 90, 113-141, 2022 | 4 | 2022 |
Multi-Objective Physics-Guided Recurrent Neural Networks for Identifying Non-Autonomous Dynamical Systems O Schön, RS Götte, J Timmermann 14th IFAC Workshop on Adaptive and Learning Control Systems ALCOS 2022, 19-24, 2022 | 4 | 2022 |
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 | 3 | 2023 |
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 | 2 | 2023 |
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations O Schön, B van Huijgevoort, S Haesaert, S Soudjani | 2* | |
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings O Schön, Z Zhong, S Soudjani arXiv preprint arXiv:2403.10497, 2024 | 1 | 2024 |
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 |