Ladner, Tobias;Eichelbeck, Michael;Althoff, Matthias
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
arxiv
2024

Ladner, Tobias;Althoff, Matthias
Fully Automatic Neural Network Reduction for Formal Verification
arxiv
2024

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