Continual Planning in Golog. - Till Hofmann; Tim Niemueller; Jens Claßen; Gerhard Lakemeyer (AAAI, 2016)

Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. - Till Hofmann; Tim Niemueller; Gerhard Lakemeyer (ICAPS, 2017)

Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. - Till Hofmann; Victor Mataré; Tobias Neumann; Sebastian Schönitz; Christoph Henke; Nicolas Limpert; Tim Niemueller; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2017)

Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. - Till Hofmann; Victor Mataré; Stefan Schiffer 002; Alexander Ferrein; Gerhard Lakemeyer (AAAI Spring Symposia, 2018)

A Logic for Specifying Metric Temporal Constraints for Golog Programs. - Till Hofmann; Gerhard Lakemeyer (CogRob@KR, 2018)

Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. - Tim Niemueller; Till Hofmann; Gerhard Lakemeyer (ICAPS, 2019)

Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. - Till Hofmann; Nicolas Limpert; Victor Mataré; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2019)

Macro Operator Synthesis for ADL Domains. - Till Hofmann; Tim Niemueller; Gerhard Lakemeyer (ECAI, 2020)

Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. - Till Hofmann; Tarik Viehmann; Mostafa Gomaa; Daniel Habering; Tim Niemueller; Gerhard Lakemeyer (ICAART (1), 2021)

Portable High-level Agent Programming with golog++. - Victor Mataré; Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer; Alexander Ferrein; Stefan Schiffer 002 (ICAART (2), 2021)

Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. - Daniel Habering; Till Hofmann; Gerhard Lakemeyer (IJCAI, 2021)

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. - Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer (IJCAI, 2021)

TACoS: A Tool for MTL Controller Synthesis. - Till Hofmann; Stefan Schupp (SEFM, 2021)

Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. - Till Hofmann; Gerhard Lakemeyer (CoRR, 2021)

Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. - Tarik Viehmann; Nicolas Limpert; Till Hofmann; Mike Henning; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2022)

Controlling Golog Programs against MTL Constraints. - Till Hofmann; Stefan Schupp (CoRR, 2022)

Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. - Daniel Swoboda; Till Hofmann; Tarik Viehmann; Gerhard Lakemeyer (CoRR, 2022)

Using Abstraction for Interpretable Robot Programs in Stochastic Domains. - Till Hofmann; Vaishak Belle (CoRR, 2022)

Abstracting Noisy Robot Programs. - Till Hofmann; Vaishak Belle (AAMAS, 2023)

Controlling timed automata against MTL specifications with TACoS. - Till Hofmann; Stefan Schupp (Sci. Comput. Program., 2023)

Towards bridging the gap between high-level reasoning and execution on robots. - Till Hofmann (2023)

Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. - Till Hofmann; Hector Geffner (IJCAI, 2024)

Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. - Matteo Tschesche; Till Hofmann; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2024)

Towards Bridging the Gap between High-Level Reasoning and Execution on Robots. - Till Hofmann (CoRR, 2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. - Till Hofmann; Stefan Schupp; Gerhard Lakemeyer (CoRR, 2024)

LTLf Synthesis on First-Order Action Theories. - Till Hofmann; Jens Claßen (CoRR, 2024)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. - Till Hofmann; Jens Claßen (AAAI, 2025)

From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League. - Supun Dissanayaka; Alexander Ferrein; Till Hofmann; Kosuke Nakajima; Mario Sanz-Lopez; Jesus Savage; Daniel Swoboda; Matteo Tschesche; Wataru Uemura; Tarik Viehmann; Shohei Yasuda (CoRR, 2025)