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

Wetzlinger, Mark;Kotsev, Viktor;Kulmburg, Adrian;Althoff, Matthias
Implementation of Polyhedral Operations in CORA 2024
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
EasyChair
2024

Wetzlinger, Mark;Althoff, Matthias
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
EasyChair
2024

Manzanas Lopez, Diego;Althoff, Matthias;Benet, Luis;Blab, Clemens;Forets, Marcelo;Jia, Yuhao;Johnson, Taylor T;Kranzl, Manuel;Ladner, Tobias;Linauer, Lukas;Neubauer, Philipp;Neubauer, Sophie;Schilling, Christian;Zhang, Huan;Zhong, Xiangru
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
EPiC Series in Computing
EasyChair
2024