Yasmine Abu-Haeyeh*, Thomas Bartelsmeier*, Tobias Ladner*, Matthias Althoff, Lars Hedrich, Markus Olbrich
Formally Verifying Analog Neural Networks With Device Mismatch Variations
Proceedings of the 28th Design, Automation and Test in Europe Conference (DATE)
2025

Lukas Schäfer; Matthias Althoff
Robust Optimal Control Using Set-based Reachability Analysis
submitted to 2025 European Control Conference
2025

Koller, Lukas;Hartmann, Christoph;Martinitz, Lukas;Volk, Wolfram;Althoff, Matthias
Training robust neural networks for uncertainty prediction in stamping technology
at - Automatisierungstechnik
2025
73
3
198-209

Thumm, Jakob;Agia, Christopher;Pavone, Marco;Althoff, Matthias
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction
8th Annual Conference on Robot Learning
2024

Stolz, Roland;Krasowski, Hanna;Thumm, Jakob;Eichelbeck, Michael;Gassert, Philipp;Althoff, Matthias
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
The Thirty-eighth Annual Conference on Neural Information Processing Systems
2024

Wu, Jingyuan;Ruenz, Johannes;Berkemeyer, Hendrik;Dixon, Liza;Althoff, Matthias
Goal-Oriented Pedestrian Motion Prediction
IEEE Transactions on Intelligent Transportation Systems
2024
25
6
5282--5298

Abate, Alessandro;Althoff, Matthias;Bu, Lei;Ernst, Gidon;Frehse, Goran;Geretti, Luca;Johnson, Taylor T.;Menghi, Claudio;Mitsch, Stefan;Schupp, Stefan;Soudjani, Sadegh
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Lecture Notes in Computer Science
Springer Nature Switzerland
2024

Geretti, Luca;Alexandre Dit Sandretto, Julien;Althoff, Matthias;Benet, Luis;Collins, Pieter;Forets, Marcelo;Mitsch, Stefan;Schilling, Christian;Tillet, Joris;Wetzlinger, Mark
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
39-13
EPiC Series in Computing
EasyChair
2024

Althoff, Matthias;Forets, Marcelo;Schilling, Christian;Wetzlinger, Mark
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
15--10
EPiC Series in Computing
EasyChair
2024

Eichelbeck, Michael;Markgraf, Hannah;Althoff, Matthias
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
2024