Lercher, Florian;Althoff, Matthias
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
Proceedings of the IEEE Intelligent Vehicles Symposium (IV)
2024

Würsching, Gerald; Althoff, Matthias
Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning
2024 IEEE Intelligent Vehicles Symposium (IV)
2024

Würsching, Gerald;Mascetta, Tobias;Lin, Yuanfei;Althoff, Matthias
Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework
2024 IEEE Intelligent Vehicles Symposium (IV)
2024

Ladner, Tobias;Althoff, Matthias
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
Proceedings of the AAAI Conference on Artificial Intelligence
2024

Lin, Yuanfei;Li, Chenran;Ding, Mingyu;Tomizuka, Masayoshi;Zhan, Wei;Althoff, Matthias
DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models
arXiv
2024

Rizaldi, A.;Immler, F.;Althoff, M.
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
8th NASA Formal Methods Symposium
2016

Koller, Lukas;Ladner, Tobias;Althoff, Matthias
Set-Based Training for Neural Network Verification
arxiv
2024
Jan

Ladner, Tobias;Althoff, Matthias
Specification-Driven Neural Network Reduction for Scalable Formal Verification
arxiv
2023
May

Alanwar, Amr;Gaßmann, Victor;He, Xingkang;Said, Hazem;Sandberg, Henrik;Johansson, Karl H.;Althoff, Matthias
Privacy-preserving set-based estimation using partially homomorphic encryption
European Journal of Control
2023
71

Alanwar, Amr;Rath, Jagat Jyoti;Said, Hazem;Johansson, Karl Henrik;Althoff, Matthias
Distributed set-based observers using diffusion strategies
Journal of the Franklin Institute
2023
360
10
6976-6993