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

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

Kochdumper, Niklas;Wang, Youran;Betz, Johannes;Althoff, Matthias
Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
arXiv
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
Proceedings of the 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
EasyChair
2024