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
End-To-End 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

Althoff, Matthias
Checking and Establishing Reachset Conformance in CORA 2023
Proc. of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems
2023

Gaßmann, Victor;Althoff, Matthias
Polynomial Controller Synthesis of Nonlinear Systems With Continuous State Feedback Using Trust Regions
IEEE Open Journal of Control Systems
2023
2
310–324