Satisficing and Optimal Generalised Planning via Goal Regression.

Till Hofmann Dillon Z. Chen Till Hofmann Toryn Q. Klassen Sheila A. McIlraith Satisficing and Optimal Generalised Planning via Goal Regression. 36197-36206 2026 AAAI https://doi.org/10.1609/aaai.v40i43.40938 conf/aaai/2026 db/conf/aaai/aaai2026.html#ChenHKM26 Till Hofmann Jens Claßen LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. 14976-14986 2025 AAAI https://doi.org/10.1609/aaai.v39i14.33642 conf/aaai/2025 db/conf/aaai/aaai2025.html#HofmannC25

Supun Dissanayaka Alexander Ferrein Till Hofmann Kosuke Nakajima Mario Sanz-Lopez Jesus Savage Daniel Swoboda Matteo Tschesche Wataru Uemura Tarik Viehmann Shohei Yasuda From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League. 2025 July abs/2507.11402 CoRR https://doi.org/10.48550/arXiv.2507.11402 db/journals/corr/corr2507.html#abs-2507-11402 streams/journals/corr

Dillon Z. Chen Till Hofmann Toryn Q. Klassen Sheila A. McIlraith Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version). 2025 November abs/2511.11095 CoRR https://doi.org/10.48550/arXiv.2511.11095 db/journals/corr/corr2511.html#abs-2511-11095 streams/journals/corr

Till Hofmann Hector Geffner Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. 6733-6742 2024 IJCAI https://www.ijcai.org/proceedings/2024/744 conf/ijcai/2024 db/conf/ijcai/ijcai2024.html#HofmannG24 Matteo Tschesche Till Hofmann Alexander Ferrein Gerhard Lakemeyer Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. 32-43 2024 RoboCup https://doi.org/10.1007/978-3-031-85859-8_3 conf/robocup/2024 db/conf/robocup/robocup2024.html#TschescheHFL24 streams/conf/robocup

Till Hofmann Towards Bridging the Gap between High-Level Reasoning and Execution on Robots. 2024 abs/2401.00880 CoRR https://doi.org/10.48550/arXiv.2401.00880 db/journals/corr/corr2401.html#abs-2401-00880

Till Hofmann Stefan Schupp Gerhard Lakemeyer Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. 2024 abs/2402.03164 CoRR https://doi.org/10.48550/arXiv.2402.03164 db/journals/corr/corr2402.html#abs-2402-03164

Till Hofmann Hector Geffner Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. 2024 abs/2404.02499 CoRR https://doi.org/10.48550/arXiv.2404.02499 db/journals/corr/corr2404.html#abs-2404-02499

Till Hofmann Jens Claßen LTLf Synthesis on First-Order Action Theories. 2024 abs/2410.00726 CoRR https://doi.org/10.48550/arXiv.2410.00726 https://www.wikidata.org/entity/Q132014384 db/journals/corr/corr2410.html#abs-2410-00726 streams/journals/corr

Till Hofmann Towards bridging the gap between high-level reasoning and execution on robots. 2023 RWTH Aachen University, Germany https://publications.rwth-aachen.de/record/972976 https://nbn-resolving.org/urn:nbn:de:101:1-2023120900332391060862 https://d-nb.info/1312713658

Till Hofmann Stefan Schupp Controlling timed automata against MTL specifications with TACoS. 102898 2023 225 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2022.102898 db/journals/scp/scp225.html#HofmannS23

Till Hofmann Vaishak Belle Abstracting Noisy Robot Programs. 534-542 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3598681 conf/atal/2023 db/conf/atal/aamas2023.html#HofmannB23 Tarik Viehmann Nicolas Limpert Till Hofmann Mike Henning Alexander Ferrein Gerhard Lakemeyer Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. 300-312 2022 RoboCup https://doi.org/10.1007/978-3-031-28469-4_25 conf/robocup/2022 db/conf/robocup/robocup2022.html#ViehmannLHHFL22

Till Hofmann Vaishak Belle Abstracting Noisy Robot Programs. 2022 abs/2204.03536 CoRR https://doi.org/10.48550/arXiv.2204.03536 db/journals/corr/corr2204.html#abs-2204-03536

Till Hofmann Stefan Schupp Controlling Golog Programs against MTL Constraints. 2022 abs/2204.03596 CoRR https://doi.org/10.48550/arXiv.2204.03596 db/journals/corr/corr2204.html#abs-2204-03596

Daniel Swoboda Till Hofmann Tarik Viehmann Gerhard Lakemeyer Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. 2022 abs/2206.09864 CoRR https://doi.org/10.48550/arXiv.2206.09864 db/journals/corr/corr2206.html#abs-2206-09864

Till Hofmann Vaishak Belle Using Abstraction for Interpretable Robot Programs in Stochastic Domains. 2022 abs/2207.12763 CoRR https://doi.org/10.48550/arXiv.2207.12763 db/journals/corr/corr2207.html#abs-2207-12763

Till Hofmann Tarik Viehmann Mostafa Gomaa Daniel Habering Tim Niemueller Gerhard Lakemeyer Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. 80-91 2021 ICAART (1) https://doi.org/10.5220/0010252600800091 conf/icaart/2021-1 db/conf/icaart/icaart2021-1.html#HofmannVGHNL21 Victor Mataré Tarik Viehmann Till Hofmann Gerhard Lakemeyer Alexander Ferrein Stefan Schiffer 0002 Portable High-level Agent Programming with golog++. 218-227 2021 ICAART (2) https://doi.org/10.5220/0010253902180227 conf/icaart/2021-2 db/conf/icaart/icaart2021-2.html#MatareVHLF021 Daniel Habering Till Hofmann Gerhard Lakemeyer Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. 1908-1914 2021 IJCAI https://doi.org/10.24963/ijcai.2021/263 conf/ijcai/2021 db/conf/ijcai/ijcai2021.html#HaberingHL21 Tarik Viehmann Till Hofmann Gerhard Lakemeyer Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. 2083-2089 2021 IJCAI https://doi.org/10.24963/ijcai.2021/287 conf/ijcai/2021 db/conf/ijcai/ijcai2021.html#ViehmannHL21 Till Hofmann Stefan Schupp TACoS: A Tool for MTL Controller Synthesis. 372-379 2021 SEFM https://doi.org/10.1007/978-3-030-92124-8_21 conf/sefm/2021 db/conf/sefm/sefm2021.html#HofmannS21

Till Hofmann Gerhard Lakemeyer Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. 2021 abs/2102.09837 CoRR https://arxiv.org/abs/2102.09837 db/journals/corr/corr2102.html#abs-2102-09837

Till Hofmann Tim Niemueller Gerhard Lakemeyer Macro Operator Synthesis for ADL Domains. 761-768 2020 ECAI https://doi.org/10.3233/FAIA200164 conf/ecai/2020 db/conf/ecai/ecai2020.html#HofmannNL20 Tim Niemueller Till Hofmann Gerhard Lakemeyer Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. 754-763 2019 ICAPS https://ojs.aaai.org/index.php/ICAPS/article/view/3544 conf/aips/2019 db/conf/aips/icaps2019.html#NiemuellerHL19 Till Hofmann Nicolas Limpert Victor Mataré Alexander Ferrein Gerhard Lakemeyer Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. 504-516 2019 RoboCup https://doi.org/10.1007/978-3-030-35699-6_41 conf/robocup/2019 db/conf/robocup/robocup2019.html#HofmannLMFL19 Till Hofmann Victor Mataré Stefan Schiffer 0002 Alexander Ferrein Gerhard Lakemeyer Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. 2018 AAAI Spring Symposia https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17563 conf/aaaiss/2018 db/conf/aaaiss/aaaiss2018.html#HofmannM0FL18 Till Hofmann Gerhard Lakemeyer A Logic for Specifying Metric Temporal Constraints for Golog Programs. 36-46 2018 CogRob@KR https://ceur-ws.org/Vol-2325/paper-07.pdf conf/kr/2018cogrob db/conf/kr/cogrob2018.html#HofmannL18 Till Hofmann Tim Niemueller Gerhard Lakemeyer Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. 498-503 2017 ICAPS https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15762 conf/aips/2017 db/conf/aips/icaps2017.html#HofmannNL17 Till Hofmann Victor Mataré Tobias Neumann Sebastian Schönitz Christoph Henke Nicolas Limpert Tim Niemueller Alexander Ferrein Sabina Jeschke Gerhard Lakemeyer Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. 486-497 2017 RoboCup https://doi.org/10.1007/978-3-030-00308-1_40 conf/robocup/2017 db/conf/robocup/robocup2017.html#HofmannMNSHLNFJ17 Till Hofmann Tim Niemueller Jens Claßen Gerhard Lakemeyer Continual Planning in Golog. 3346-3353 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10414 https://www.wikidata.org/entity/Q132014766 conf/aaai/2016 db/conf/aaai/aaai2016.html#HofmannNCL16 Vaishak Belle Dillon Ze ChenDillon Z. Chen Jens Claßen Supun Dissanayaka Alexander Ferrein Hector Geffner Mostafa Gomaa Daniel Habering Christoph Henke Mike Henning Sabina Jeschke Toryn Q. Klassen Gerhard Lakemeyer Nicolas Limpert Victor MatareVictor Mataré Sheila A. McIlraith Kosuke Nakajima Tobias Neumann Tim NiemüllerTim Niemueller Mario Sanz-Lopez Jesús SavageJesus Savage Stefan Schiffer 0002 Sebastian Schönitz Stefan Schupp Daniel Swoboda Matteo Tschesche Wataru Uemura Tarik Viehmann Shohei Yasuda