Æȷοì
Till Hofmann
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
372019
Continual Planning in Golog
T Hofmann, T Niemueller, J Cla©¬en, G Lakemeyer
30th AAAI Conference on Artificial Intelligence (AAAI), 2016
292016
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
232017
CLIPS-based execution for PDDL planners
T Niemueller, T Hofmann, G Lakemeyer
ICAPS Workshop on Integrated Planning, Acting and Execution (IntEx), 2018
212018
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
162019
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
132021
A Logic for Specifying Metric Temporal Constraints for Golog Programs.
T Hofmann, G Lakemeyer
CogRob@ KR, 36-46, 2018
82018
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
82018
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
72018
Macro Operator Synthesis for ADL Domains
T Hofmann, T Niemueller, G Lakemeyer
24th European Conference on Artificial Intelligence (ECAI), 2020
62020
The Carologistics RoboCup Logistics Team 2018
T Hofmann, N Limpert, V Mataré, S Schönitz, T Niemueller, A Ferrein, ...
62018
TACoS: A Tool for MTL Controller Synthesis
T Hofmann, S Schupp
19th International Conference on Software Engineering and Formal Methods, 2021
52021
Abstracting Noisy Robot Programs
T Hofmann, V Belle
22nd International Conference on Autonomous Agents and Multiagent Systems ¡¦, 2023
42023
Controller synthesis for Golog programs over finite domains with metric temporal constraints
T Hofmann, G Lakemeyer
arXiv preprint arXiv:2102.09837, 2021
42021
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
42021
Controlling timed automata against MTL specifications with TACoS
T Hofmann, S Schupp
Science of Computer Programming 225, 102898, 2023
12023
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
12022
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
12022
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots.
D Habering, T Hofmann, G Lakemeyer
IJCAI, 1908-1914, 2021
12021
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
12021
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20