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 | 29 | 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), 2018 | 21 | 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 | 16 | 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 | 13 | 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 |
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 |
TACoS: A Tool for MTL Controller Synthesis T Hofmann, S Schupp 19th International Conference on Software Engineering and Formal Methods, 2021 | 5 | 2021 |
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 | 2 | 2021 |
Controlling timed automata against MTL specifications with TACoS T Hofmann, S Schupp Science of Computer Programming 225, 102898, 2023 | 1 | 2023 |
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 ICAPS Workshop on Planning and Robotics (PlanRob), 2022 | 1 | 2022 |
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. D Habering, T Hofmann, G Lakemeyer IJCAI, 1908-1914, 2021 | 1 | 2021 |