| Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution T Niemueller, T Hofmann, G Lakemeyer 29th International Conference on Automated Planning and Scheduling (ICAPS …, 2019 | 39 | 2019 |
| Continual Planning in Golog T Hofmann, T Niemueller, J Claßen, G Lakemeyer 30th AAAI Conference on Artificial Intelligence (AAAI), 2016 | 30 | 2016 |
| Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots T Hofmann, T Niemueller, G Lakemeyer 27th International Conference on Automated Planning and Scheduling (ICAPS), 2017 | 24 | 2017 |
| CLIPS-based execution for PDDL planners T Niemueller, T Hofmann, G Lakemeyer ICAPS Workshop on Integrated Planning, Acting and Execution (IntEx), 107, 2018 | 22 | 2018 |
| Winning the robocup logistics league with fast navigation, precise manipulation, and robust goal reasoning T Hofmann, N Limpert, V Mataré, A Ferrein, G Lakemeyer RoboCup 2019: Robot World Cup XXIII 23, 504-516, 2019 | 17 | 2019 |
| Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League T Hofmann, T Viehmann, M Gomaa, D Habering, T Niemueller, ... 13th International Conference on Agents and Artifical Intelligence (ICAART), 2021 | 15 | 2021 |
| A Logic for Specifying Metric Temporal Constraints for Golog Programs. T Hofmann, G Lakemeyer CogRob@ KR, 36-46, 2018 | 8 | 2018 |
| Constraint-based online transformation of abstract plans into executable robot actions T Hofmann, V Mataré, S Schiffer, A Ferrein, G Lakemeyer AAAI Spring Symposium 2018 on Integrating Representation, Reasoning …, 2018 | 8 | 2018 |
| Enhancing software and hardware reliability for a successful participation in the RoboCup Logistics League 2017 T Hofmann, V Mataré, T Neumann, S Schönitz, C Henke, N Limpert, ... RoboCup 2017: Robot World Cup XXI 11, 486-497, 2018 | 7 | 2018 |
| TACoS: A Tool for MTL Controller Synthesis T Hofmann, S Schupp 19th International Conference on Software Engineering and Formal Methods, 2021 | 6 | 2021 |
| Macro Operator Synthesis for ADL Domains T Hofmann, T Niemueller, G Lakemeyer 24th European Conference on Artificial Intelligence (ECAI), 2020 | 6 | 2020 |
| The Carologistics RoboCup Logistics Team 2018 T Hofmann, N Limpert, V Mataré, S Schönitz, T Niemueller, A Ferrein, ... | 6 | 2018 |
| Abstracting Noisy Robot Programs T Hofmann, V Belle 22nd International Conference on Autonomous Agents and Multiagent Systems …, 2023 | 4 | 2023 |
| Controller synthesis for Golog programs over finite domains with metric temporal constraints T Hofmann, G Lakemeyer arXiv preprint arXiv:2102.09837, 2021 | 4 | 2021 |
| Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints T Viehmann, T Hofmann, G Lakemeyer 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021 | 4 | 2021 |
| Portable High-level Agent Programming with golog++ V Mataré, T Viehmann, T Hofmann, G Lakemeyer, A Ferrein, S Schiffer 13th International Conference on Agents and Artifical Intelligence (ICAART), 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 | 2 | 2022 |
| Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains T Hofmann, H Geffner arXiv preprint arXiv:2404.02499, 2024 | 1 | 2024 |
| Controlling timed automata against MTL specifications with TACoS T Hofmann, S Schupp Science of Computer Programming 225, 102898, 2023 | 1 | 2023 |
| Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning D Swoboda, T Hofmann, T Viehmann, G Lakemeyer ICAPS Workshop on Planning and Robotics (PlanRob), 2022 | 1 | 2022 |
Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
