| 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 Stochastic Models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing, 2022 | 14 | 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 | 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 |
| 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 | 5* | 2024 |
| 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 |
| Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings O Schön, Z Zhong, S Soudjani 2024 American Control Conference (ACC), pp. 3417-3423, 2024 | 3 | 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 |
| 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 | 1 | 2024 |
| 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 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 |
| SySCoRe Repeatability Package (ARCH 2023) O Schön, S Soudjani, S Haesaert, B van Huijgevoort https://doi.org/10.24433/co.8616869.v1, 2023 | | 2023 |
| SySCoRe: Synthesis via Stochastic Coupling Relations (Code) B van Huijgevoort, O Schön, S Soudjani, S Haesaert https://doi.org/10.24433/co.3825821.v1, 2022 | | 2022 |
| SySCoRe Repeatability Package (ARCH 2022) O Schön, B van Huijgevoort, S Soudjani, S Haesaert https://doi.org/10.24433/co.2213659.v1, 2022 | | 2022 |
Sadegh SoudjaniMax Planck Institute for Software SystemsVerificeret mail på mpi-sws.org
