User: Guest  Login
Sort by:
and:
More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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