Ladner, Tobias;Althoff, MatthiasAutomatic Abstraction Refinement in Neural Network Verification using Sensitivity AnalysisProceedings of the 26th ACM International Conference on Hybrid Systems: Computation and ControlACM2023
Wetzlinger, Mark;Kochdumper, Niklas;Bak, Stanley;Althoff, MatthiasFully-Automated Verification of Linear Systems Using Reachability Analysis with Support FunctionsProceedings of the 26th ACM International Conference on Hybrid Systems: Computation and ControlACM2023
Lin, Yuanfei; Althoff, MatthiasCommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles2023 IEEE Intelligent Vehicles Symposium (IV)2023
Niklas Kochdumper; Hanna Krasowski; Xiao Wang; Stanley Bak; Matthias AlthoffProvably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial ZonotopesIEEE Open Journal of Control Systems2023