Ladner, Tobias;Althoff, Matthias
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
ACM
2023

Wetzlinger, Mark;Kochdumper, Niklas;Bak, Stanley;Althoff, Matthias
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
ACM
2023

Lin, Yuanfei; Althoff, Matthias
CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles
2023 IEEE Intelligent Vehicles Symposium (IV)
2023

Niklas Kochdumper; Hanna Krasowski; Xiao Wang; Stanley Bak; Matthias Althoff
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
IEEE Open Journal of Control Systems
2023