PPaperPicks

Matthias Althoff

11 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ICRA ×4IROS ×3AAAI ×2ICML ×1NeurIPS ×1

Frequent coauthors

Roland Stolz
×2
Michael Eichelbeck
×2
Tobias Ladner
×2
Matthias Mayer
×2
Jonathan Külz
×2
Jakob Thumm
×2
Julian Balletshofer
×1
Robin Jeanne Kirschner
×1
Shahaf Bassan
×1
Yizhak Yisrael Elboher
×1
Guy Katz
×1
Patrick Halder
×1

Papers

  1. Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
    AAAI 2026 ·
    Roland Stolz
    ,
    Michael Eichelbeck
    , Matthias Althoff
  2. Collision Mass Map for Safe and Efficient Human-Robot Interaction
    IROS 2025 ·
    Julian Balletshofer
    ,
    Robin Jeanne Kirschner
    , Matthias Althoff
  3. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
    ICML 2025 ·
    Shahaf Bassan
    ,
    Yizhak Yisrael Elboher
    ,
    Tobias Ladner
    , Matthias Althoff,
    Guy Katz
  4. Trajectory Planning with Signal Temporal Logic Costs Using Deterministic Path Integral Optimization
    ICRA 2025 ·
    Patrick Halder
    ,
    Hannes Homburger
    ,
    Lothar Kiltz
    ,
    Johannes Reuter
    , Matthias Althoff
  5. CoBRA: A Composable Benchmark for Robotics Applications
    ICRA 2024 ·
    Matthias Mayer
    ,
    Jonathan Külz
    , Matthias Althoff
  6. Efficient Path Planning for Modular Reconfigurable Robots
    IROS 2024 ·
    Matthias Mayer
    ,
    Zihao Li
    , Matthias Althoff
  7. Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
    IROS 2024 ·
    Chencheng Tang
    , Matthias Althoff
  8. Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
    NeurIPS 2024 ·
    Roland Stolz
    ,
    Hanna Krasowski
    ,
    Jakob Thumm
    ,
    Michael Eichelbeck
    ,
    Philipp Gassert
    , Matthias Althoff
  9. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
    AAAI 2024 ·
    Tobias Ladner
    , Matthias Althoff
  10. Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
    ICRA 2024 ·
    Jakob Thumm
    ,
    Felix Trost
    , Matthias Althoff
  11. Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
    ICRA 2024 ·
    Jonathan Külz
    , Matthias Althoff