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 | 12 | 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 Stochastic Models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing, 2022 | 8 | 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 | 7 | 2022 |
ARCHCOMP22 Category Report A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... Stochastic models, 2022 | 5 | 2022 |
Bayesian formal synthesis of unknown systems via robust simulation relations O Schön, B van Huijgevoort, S Haesaert, S Soudjani arXiv preprint arXiv:2304.07428, 2023 | 4* | 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 | 3 | 2023 |
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 | 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 |
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs N Monir, O Schön, S Soudjani IFAC-PapersOnLine 58 (11), 99-106, 2024 | | 2024 |
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification O Schön, S Naseer, B Wooding, S Soudjani IFAC-PapersOnLine 58 (11), 115-122, 2024 | | 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 |