3 citations · 4 across the 5 of their papers we have counts for
5 papers
Reachability Analysis of ARMAX Models
Laura Lützow, Matthias Althoff
Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space mode…
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…
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…
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric
Eivind Meyer, Maurice Brenner, Bowen Zhang +3
Heterogeneous graphs offer powerful data representations for traffic, given their ability to model the complex interaction effects among a varying number of traffic participants an…