Althoff, Matthias

8 publications

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