Till Hofmann
Title
Cited by
Cited by
Year
Continual Planning in Golog
T Hofmann, T Niemueller, J Claßen, G Lakemeyer
30th AAAI Conference on Artificial Intelligence (AAAI), 2016
252016
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
162017
CLIPS-based execution for PDDL planners
T Niemueller, T Hofmann, G Lakemeyer
ICAPS Workshop on Integrated Planning, Acting and Execution (IntEx), 2018
132018
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
122019
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
72018
Winning the RoboCup Logistics League with fast navigation, precise manipulation, and robust goal reasoning
T Hofmann, N Limpert, V Mataré, A Ferrein, G Lakemeyer
Robot World Cup, 504-516, 2019
62019
A Logic for Specifying Metric Temporal Constraints for Golog Programs.
T Hofmann, G Lakemeyer
CogRob@ KR, 36-46, 2018
52018
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, ...
Robot World Cup, 486-497, 2017
42017
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
T Hofmann, G Lakemeyer
arXiv preprint arXiv:2102.09837, 2021
22021
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
22021
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
22021
The Carologistics RoboCup Logistics Team 2018
T Hofmann, N Limpert, V Mataré, S Schönitz, T Niemueller, A Ferrein, ...
22018
Macro Operator Synthesis for ADL Domains
T Hofmann, T Niemueller, G Lakemeyer
24th European Conference on Artificial Intelligence (ECAI), 2020
12020
Robust Execution of Abstract Task Plans on Mobile Robots
T Hofmann
2021 Joint Workshop of the German Research Training Groups in Computer …, 2021
2021
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
D Habering, T Hofmann, G Lakemeyer
30th International Joint Conference on Artificial Intelligence (IJCAI), 2021
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
2021
The Carologistics RoboCup Logistics Team 2020
T Hofmann, S Eltester, T Viehmann, N Limpert, V Mataré, A Ferrein, ...
2020
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
D Habering, T Hofmann, G Lakemeyer
2019
The Carologistics RoboCup Logistics Team 2019
T Hofmann, N Limpert, V Mataré, A Ferrein, G Lakemeyer
2019
The Carologistics RoboCup Logistics Team 2017
T Neumann, T Hofmann, V Mataré, C Henke, S Schönitz, T Niemueller, ...
2017
The system can't perform the operation now. Try again later.
Articles 1–20