Hanna Krasowski; Matthias Althoff
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
IEEE Transactions on Intelligent Vehicles
2024
1-18

Tobias Mascetta, Edmond Irani Liu, Matthias Althoff
Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations
2024 IEEE Intelligent Vehicle Symposium (IV)
2024

Mair, Sebastian; Althoff, Matthias
Provably Correct Safety Protocol for Cooperative Platooning
2024 IEEE Intelligent Vehicles Symposium (IV)
2024

Maierhofer, Sebastian;Althoff, Matthias
CommonRoad-CARLA Interface: Bridging the Gap between MotionPlanning and 3D Simulation
2024 IEEE Intelligent Vehicles Symposium (IV)
2024

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