| 2026 | AAAI | Satisficing and Optimal Generalised Planning via Goal Regression. | Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith |
| 2025 | AAAI | LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. | Till Hofmann, Jens Claen |
| 2024 | IJCAI | Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. | Till Hofmann, Hector Geffner |
| 2024 | RoboCup | Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. | Matteo Tschesche, Till Hofmann, Alexander Ferrein, Gerhard Lakemeyer |
| 2022 | RoboCup | Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. | Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer |
| 2021 | ICAART | 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 |
| 2021 | ICAART | Portable High-level Agent Programming with golog++. | Victor Matar, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer |
| 2021 | IJCAI | Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. | Daniel Habering, Till Hofmann, Gerhard Lakemeyer |
| 2021 | IJCAI | Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. | Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer |
| 2021 | SEFM | TACoS: A Tool for MTL Controller Synthesis. | Till Hofmann, Stefan Schupp |
| 2020 | ECAI | Macro Operator Synthesis for ADL Domains. | Till Hofmann, Tim Niemueller, Gerhard Lakemeyer |
| 2019 | RoboCup | Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. | Till Hofmann, Nicolas Limpert, Victor Matar, Alexander Ferrein, Gerhard Lakemeyer |
| 2018 | KR | A Logic for Specifying Metric Temporal Constraints for Golog Programs. | Till Hofmann, Gerhard Lakemeyer |
| 2017 | RoboCup | Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. | Till Hofmann, Victor Matar, Tobias Neumann, Sebastian Schnitz, Christoph Henke, Nicolas Limpert, Tim Niemueller, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2016 | AAAI | Continual Planning in Golog. | Till Hofmann, Tim Niemueller, Jens Claen, Gerhard Lakemeyer |