Adaptive parameter tuning for reachability analysis of nonlinear systems M Wetzlinger, A Kulmburg, M Althoff Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 15 | 2021 |
Adaptive parameter tuning for reachability analysis of linear systems M Wetzlinger, N Kochdumper, M Althoff 2020 59th IEEE Conference on Decision and Control (CDC), 5145-5152, 2020 | 15 | 2020 |
ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 11 | 2021 |
ARCH-COMP21 category report: continuous and hybrid systems with linear continuous dynamics M Althoff, E Ábrahám, M Forets, G Frehse, D Freire, C Schilling, S Schupp, ... Proc. of the 8th International Workshop on Applied Verification of …, 2021 | 8 | 2021 |
Fully Automated Verification of Linear Systems Using Inner-and Outer-Approximations of Reachable Sets M Wetzlinger, N Kochdumper, S Bak, M Althoff IEEE Transactions on Automatic Control, 2023 | 7 | 2023 |
ARCH-COMP20 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, Z Bao, M Forets, G Frehse, D Freire, N Kochdumper, Y Li, ... Proc. of the 7th International Workshop on Applied Verification of …, 2020 | 7 | 2020 |
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis M Wetzlinger, A Kulmburg, A Le Penven, M Althoff Nonlinear Analysis: Hybrid Systems 46, 101252, 2022 | 6 | 2022 |
Fully-automated verification of linear systems using reachability analysis with support functions M Wetzlinger, N Kochdumper, S Bak, M Althoff Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | 4 | 2023 |
ARCH-COMP22 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, M Forets, C Schilling, M Wetzlinger Proc. of 9th International Workshop on Applied Verification of Continuous …, 2022 | 3 | 2022 |
ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, P Collins, P Duggirala, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 3 | 2022 |
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation M Wetzlinger, M Althoff arXiv preprint arXiv:2310.19083, 2023 | | 2023 |
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics M Althoff, M Forets, Y Li, S Mitra, C Schilling, M Wetzlinger, D Zhuang EPiC Series in Computing, 2023 | | 2023 |
ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, P Collins, M Forets, E Ivanova, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | | 2023 |