Lützow, Laura;Althoff, Matthias
Scalable Reachset-Conformant Identification of Linear Systems
IEEE Control Systems Letters
2024
8
520-525

Lützow, Laura;Althoff, Matthias
Scalable Reachset-Conformant Identification of Linear Systems
IEEE Control Systems Letters
2024
8
520-525

Lützow, Laura; Althoff, Matthias
Scalable Reachset-Conformant Identification of Linear Systems
IEEE Control Systems Letters
2024
8
May
520-525

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