Matthias Althoff

Venues

Frequent coauthors

Papers

1. Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
   AAAI 2026 ·

   Roland Stolz

   DBLP profile ↗ORCID search ↗
2. Collision Mass Map for Safe and Efficient Human-Robot Interaction
   IROS 2025 ·

   Julian Balletshofer

   DBLP profile ↗ORCID search ↗
3. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
   ICML 2025 ·

   Shahaf Bassan

   DBLP profile ↗ORCID search ↗
4. Trajectory Planning with Signal Temporal Logic Costs Using Deterministic Path Integral Optimization
   ICRA 2025 ·

   Patrick Halder

   DBLP profile ↗ORCID search ↗
5. CoBRA: A Composable Benchmark for Robotics Applications
   ICRA 2024 ·

   Matthias Mayer

   DBLP profile ↗ORCID search ↗
6. Efficient Path Planning for Modular Reconfigurable Robots
   IROS 2024 ·

   Matthias Mayer

   DBLP profile ↗ORCID search ↗
7. Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
   IROS 2024 ·

   Chencheng Tang

   DBLP profile ↗ORCID search ↗
8. Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
   NeurIPS 2024 ·

   Roland Stolz

   DBLP profile ↗ORCID search ↗
9. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
   AAAI 2024 ·

   Tobias Ladner

   DBLP profile ↗ORCID search ↗
10. Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
    ICRA 2024 ·

    Jakob Thumm

    DBLP profile ↗ORCID search ↗
11. Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
    ICRA 2024 ·

    Jonathan Külz

    DBLP profile ↗ORCID search ↗