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

Matthias Mayer; Zihao Li; Matthias Althoff
Efficient Path Planning for Modular Reconfigurable Robots
TBA
IEEE/RSJ International Conference on Intelligent Robots and Systems (2024)
2024

Youran Wang, Yuanfei Lin, and Matthias Althoff
Interaction-Aware Trajectory Repair in Compliance with Formalized Traffic Rules
The 27th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2024)
2024

Wendl, Manuel;Koller, Lukas;Ladner, Tobias;Althoff, Matthias
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
arxiv
2024
Aug

Liu, Di;Mair, Sebastian;Yang, Kang;Baldi, Simone;Frasca, Paolo;Althoff, Matthias
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design
IEEE Transactions on Intelligent Vehicles
2024
9
1
2262-2275

Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Inner Approximations of Reachable Sets for Nonlinear Systems using the Minkowski Difference
IEEE Control Systems Letters
IEEE
2024

Xinyu Chen; Jonathan Külz; Matthias Althoff
Generating Robot Capability Maps with Neural Fields
RSS Workshop on Embodiment-Aware Robot Learning
2024

Thumm, Jakob;Trost, Felix;Althoff, Matthias
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA)
2024

Thumm, Jakob;Trost, Felix;Althoff, Matthias
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA)
2024

Lukas Schäfer, Matthias Althoff
Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis
2024 American Control Conference (ACC)
2024