| Sparse polynomial zonotopes: A novel set representation for reachability analysis N Kochdumper, M Althoff IEEE Transactions on Automatic Control 66 (9), 4043-4058, 2020 | 87 | 2020 |
| Implementation of Taylor models in CORA 2018 M Althoff, D Grebenyuk, N Kochdumper Proc. of the 5th International Workshop on Applied Verification for …, 2018 | 73 | 2018 |
| CORA 2016 manual M Althoff, N Kochdumper TU Munich 85748, 2016 | 59 | 2016 |
| Reachset model predictive control for disturbed nonlinear systems B Schürmann, N Kochdumper, M Althoff 2018 IEEE Conference on Decision and Control (CDC), 3463-3470, 2018 | 39 | 2018 |
| Open-and closed-loop neural network verification using polynomial zonotopes N Kochdumper, C Schilling, M Althoff, S Bak NASA Formal Methods Symposium, 16-36, 2023 | 31 | 2023 |
| Constrained polynomial zonotopes N Kochdumper, M Althoff Acta Informatica 60 (3), 279-316, 2023 | 28 | 2023 |
| Reachability analysis for hybrid systems with nonlinear guard sets N Kochdumper, M Althoff Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 27 | 2020 |
| ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ... Proc. of the 5th International Workshop on Applied Verification for …, 2018 | 25 | 2018 |
| AROC: A toolbox for automated reachset optimal controller synthesis N Kochdumper, F Gruber, B Schürmann, V Gaßmann, M Klischat, ... Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 22 | 2021 |
| Formal safety net control using backward reachability analysis B Schürmann, M Klischat, N Kochdumper, M Althoff IEEE Transactions on Automatic Control 67 (11), 5698-5713, 2021 | 21 | 2021 |
| Utilizing dependencies to obtain subsets of reachable sets N Kochdumper, B Schürmann, M Althoff Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 21 | 2020 |
| ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... 7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020 | 21 | 2020 |
| Computing non-convex inner-approximations of reachable sets for nonlinear continuous systems N Kochdumper, M Althoff 2020 59th IEEE Conference on Decision and Control (CDC), 2130-2137, 2020 | 20 | 2020 |
| Provably safe reinforcement learning via action projection using reachability analysis and polynomial zonotopes N Kochdumper, H Krasowski, X Wang, S Bak, M Althoff IEEE Open Journal of Control Systems 2, 79-92, 2023 | 19 | 2023 |
| ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ... EPiC Series in Computing 61, 2019 | 16 | 2019 |
| 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 |
| Representation of polytopes as polynomial zonotopes N Kochdumper, M Althoff arXiv preprint arXiv:1910.07271, 2019 | 15 | 2019 |
| ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ... Proc. of the 6th International Workshop on Applied Verification of …, 2019 | 15 | 2019 |
| Establishing reachset conformance for the formal analysis of analog circuits N Kochdumper, A Tarraf, M Rechmal, M Olbrich, L Hedrich, M Althoff 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 199-204, 2020 | 14 | 2020 |
| Verification of collision avoidance for CommonRoad traffic scenarios N Kochdumper, P Gassert, M Althoff Proc. of the 8th International Workshop on Applied Verification of …, 2021 | 11 | 2021 |
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
