Althoff, Matthias

12 publications

ICLR 2026 Out of the Shadows: Exploring a Latent Space for Neural Network Verification Lukas Koller, Tobias Ladner, Matthias Althoff

ICLR 2026 Provably Explaining Neural Additive Models Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Şahin, Jan Kretinsky, Matthias Althoff, Guy Katz

TMLR 2026 Safe Reinforcement Learning Using Action Projection: Safeguard the Policy or the Environment? Hannah Markgraf, Shambhuraj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff

ICLR 2026 Supporting High-Stakes Decision Making Through Interactive Preference Elicitation in the Latent Space Michael Eichelbeck, Tim Voigt, Matthias Althoff

ICML 2025 Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

TMLR 2025 Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner, Michael Eichelbeck, Matthias Althoff

TMLR 2025 Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner, Matthias Althoff

TMLR 2025 Set-Based Training for Neural Network Verification Lukas Koller, Tobias Ladner, Matthias Althoff

NeurIPS 2024 Excluding the Irrelevant: Focusing Reinforcement Learning Through Continuous Action Masking Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff

AAAI 2024 Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification Tobias Ladner, Matthias Althoff

CoRL 2024 Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction Jakob Thumm, Christopher Agia, Marco Pavone, Matthias Althoff

TMLR 2023 Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff