147 citations · 590 across the 30 of their papers we have counts for
32 papers
Formal Verification of Robotic Contact Tasks via Reachability Analysis
Chencheng Tang, Matthias Althoff
Verifying the correct behavior of robots in contact tasks is challenging due to model uncertainties associated with contacts. Standard methods for testing often fall short since al…
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-organization Strategies and Provably-correct Design
Di Liu, Sebastian Mair, Kang Yang +3
This work proposes provably-correct self-organizing strategies for platoons of heterogeneous vehicles. We refer to self-organization as the capability of a platoon to autonomously…
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
Yuanfei Lin, Michael Ratzel, Matthias Althoff
Scenarios are a crucial element for developing, testing, and verifying autonomous driving systems. However, open-source scenarios are often formulated using different terminologies…
Fully Automatic Neural Network Reduction for Formal Verification
Tobias Ladner, Matthias Althoff
Formal verification of neural networks is essential before their deployment in safety-critical applications. However, existing methods for formally verifying neural networks are no…
M-Representation of Polytopes
Sebastian Sigl, Matthias Althoff
We introduce the M-representation of polytopes, which makes it possible to compute linear transformations, convex hulls, and Minkowski sums with linear complexity in the dimension…
Deep Occupancy-Predictive Representations for Autonomous Driving
Eivind Meyer, Lars Frederik Peiss, Matthias Althoff
Manually specifying features that capture the diversity in traffic environments is impractical. Consequently, learning-based agents cannot realize their full potential as neural mo…