Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. T Hofmann, T Viehmann, M Gomaa, D Habering, T Niemueller, ... ICAART (1), 80-91, 2021 | 14 | 2021 |
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. T Viehmann, G Kremer, E Ábrahám SC²@ ISSAC, 2017 | 9 | 2017 |
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. T Viehmann, T Hofmann, G Lakemeyer IJCAI, 2083-2089, 2021 | 4 | 2021 |
Advanced experimental setup for in-process measurement of thermo-mechanical load and tool wear when drive shaft turning M Abouridouane, T Augspurger, N Reinisch, A Rajaei, M Fernández, ... Procedia CIRP 108, 323-328, 2022 | 3 | 2022 |
Portable High-level Agent Programming with golog++. V Mataré, T Viehmann, T Hofmann, G Lakemeyer, A Ferrein, S Schiffer ICAART (2), 218-227, 2021 | 3 | 2021 |
Winning the RoboCup logistics league with visual servoing and centralized goal reasoning T Viehmann, N Limpert, T Hofmann, M Henning, A Ferrein, G Lakemeyer Robot World Cup, 300-312, 2022 | 1 | 2022 |
Towards using promises for multi-agent cooperation in goal reasoning D Swoboda, T Hofmann, T Viehmann, G Lakemeyer arXiv preprint arXiv:2206.09864, 2022 | 1 | 2022 |
Materials in the Drive Chain–Modeling Materials for the Internet of Production A Rajaei, M Becker, Y Deng, O Schenk, S Rooein, P de Oliveira Löhrer, ... Internet of Production: Fundamentals, Methods and Applications, 187-207, 2023 | | 2023 |
Goal Reasoning with the CLIPS Executive in ROS2 ID Doychev, T Viehmann, T Hofmann, G Lakemeyer, S Trimpe | | 2021 |
TRANSFER REINFORCEMENT LEARNING IN A DISTRIBUTED LASER-BASED MANUFACTURING SYSTEM I Sutyrina, T Viehmann, M Kröger, G Lakemeyer, C Häfner | | |
The Carologistics RoboCup Logistics Team 2023 D Swoboda, T Viehmann, M Tschesche, A Ferrein, G Lakemeyer | | |
IN THE CYLINDIRCAL ALGEBRAIC DECOMPOSITION T Viehmann | | |