\n

\n \n 2025\n \n \n (1)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments.\n \n \n \n\n\n \n Hofmann, T.; and Claßen, J.\n\n\n \n\n\n\n In Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI), 2025. \n to appear\n\n\n\n
\n\n\n\n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n

\n

@inproceedings{hofmannLTLfSynthesisFirstorder2025,\n  title = {{{LTLf}} Synthesis on First-Order Agent Programs in Nondeterministic Environments},\n  booktitle = {Proceedings of the 39th {{Annual AAAI Conference}} on {{Artificial Intelligence}} ({{AAAI}})},\n  author = {Hofmann, Till and Cla{\\ss}en, Jens},\n  year = {2025},\n  eprint = {2410.00726},\n  primaryclass = {cs},\n  doi = {10.48550/arXiv.2410.00726},\n  abstract = {We investigate the synthesis of policies for high-level agent programs expressed in Golog, a language based on situation calculus that incorporates nondeterministic programming constructs. Unlike traditional approaches for program realization that assume full agent control or rely on incremental search, we address scenarios where environmental nondeterminism significantly influences program outcomes. Our synthesis problem involves deriving a policy that successfully realizes a given Golog program while ensuring the satisfaction of a temporal specification, expressed in Linear Temporal Logic on finite traces (LTLf), across all possible environmental behaviors. By leveraging an expressive class of first-order action theories, we construct a finite game arena that encapsulates program executions and tracks the satisfaction of the temporal goal. A game-theoretic approach is employed to derive such a policy. Experimental results demonstrate this approach's feasibility in domains with unbounded objects and non-local effects. This work bridges agent programming and temporal logic synthesis, providing a framework for robust agent behavior in nondeterministic environments.},\n  archiveprefix = {arXiv},\n  note = {{to appear}},\n  keywords = {Computer Science - Artificial Intelligence,Computer Science - Logic in Computer Science}\n}\n\n

\n

\n\n\n\n\n\n

\n

\n \n 2024\n \n \n (3)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains.\n \n \n \n \n\n\n \n Hofmann, T.; and Geffner, H.\n\n\n \n\n\n\n In Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI), volume 7, pages 6733–6742, 2024. \n \n\n\n\n
\n\n\n\n \n \n $\"Learning$ Paper\n \n \n \n $\"Learning$ slides\n \n \n \n $\"Learning$ poster\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 20 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannLearningGeneralizedPolicies2024,\n  title = {Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains},\n  author = {Hofmann, Till and Geffner, Hector},\n  year = {2024},\n  volume = {7},\n  pages = {6733--6742},\n  doi = {10.24963/ijcai.2024/744},\n  abstract = {Electronic proceedings of IJCAI 2024},\n  copyright = {All rights reserved},\n  langid = {english},\n  booktitle = {Proceedings of the 33rd {{International Joint Conference}} on {{Artificial Intelligence}} ({{IJCAI}})},\n  url = {https://ml.rwth-aachen.de/~till.hofmann/papers/ijcai24-genfond.pdf},\n  url_Slides = {https://ml.rwth-aachen.de/~till.hofmann/papers/ijcai24-genfond_slides.pdf},\n  url_Poster = {https://ml.rwth-aachen.de/~till.hofmann/papers/ijcai24-genfond_poster.pdf}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Strategy Synthesis for First-Order Agent Programs over Finite Traces.\n \n \n \n \n\n\n \n Hofmann, T.; and Claßen, J.\n\n\n \n\n\n\n In Proceedings of the 35th Nordic Workshop on Programming Theory (NWPT), 2024. \n \n\n\n\n
\n\n\n\n \n \n $\"Strategy$ Paper\n \n \n \n $\"Strategy$ slides\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannStrategySynthesisFirstorder2024,\n  entrysubtype = {workshop},\n  title = {Strategy Synthesis for First-Order Agent Programs over Finite Traces},\n  booktitle = {Proceedings of the 35th {{Nordic Workshop}} on {{Programming Theory}} ({{NWPT}})},\n  author = {Hofmann, Till and Cla{\\ss}en, Jens},\n  year = {2024},\n  url = {https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis.pdf},\n  url_Slides = {https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis_slides.pdf}\n}\n\n

\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing.\n \n \n \n \n\n\n \n Tschesche, M.; Hofmann, T.; Ferrein, A.; and Lakemeyer, G.\n\n\n \n\n\n\n In RoboCup 2024: Robot World Cup XXVII, 2024. \n to appear\n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 14 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{tschescheUsingOfftheShelfDeep2024,\n  title = {Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing},\n  booktitle = {{{RoboCup}} 2024: {{Robot World Cup XXVII}}},\n  author = {Tschesche, Matteo and Hofmann, Till and Ferrein, Alexander and Lakemeyer, Gerhard},\n  year = {2024},\n  url = {https://kbsg.rwth-aachen.de/papers/robocup2024-pbvs.pdf},\n  note = {to appear}\n}\n\n

\n

\n\n\n\n

\n\n\n\n\n\n

\n

\n \n 2023\n \n \n (3)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n Towards Bridging the Gap between High-Level Reasoning and Execution on Robots.\n \n \n \n \n\n\n \n Hofmann, T.\n\n\n \n\n\n\n Ph.D. Thesis, RWTH Aachen University, Aachen, Germany, 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 13 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n\n\n\n

\n

@phdthesis{hofmannBridgingGapHighlevel2023,\n title = {Towards Bridging the Gap between High-Level Reasoning and Execution on Robots},\n author = {Hofmann, Till},\n year = {2023},\n address = {{Aachen, Germany}},\n url = {https://doi.org/10.18154/RWTH-2023-10508},\n abstract = {When reasoning about actions, e.g., by means of task planning or agent programming with Golog, the robot's actions are typically modeled on an abstract level, where complex actions such as picking up an object are treated as atomic primitives with deterministic effects and preconditions that only depend on the current state. However, when executing such an action on a robot it can no longer be seen as a primitive. Instead, action execution is a complex task involving multiple steps with additional temporal preconditions and timing constraints. Furthermore, the action may be noisy, e.g., producing erroneous sensing results and not always having the desired effects. While these aspects are typically ignored in reasoning tasks, they need to be dealt with during execution. In this thesis, we propose several approaches towards closing this gap. Based on a logic that combines the situation calculus with metric time and metric temporal logic, we model the robot platform with timed automata and temporal constraints to describe the connection between the high-level actions and the robot platform. We then describe two approaches towards transforming the high-level program. First, we view the transformation as a synthesis problem, where the task is to synthesize a controller that executes the program while satisfying the specification, independent of the environment's choices. We show that the synthesis problem is decidable, describe an algorithm to construct a controller, and evaluate the approach in two robotics scenarios. While this approach supports controlling arbitrary Golog programs against any specification with timing constraints, it does not scale well. For this reason, we describe a second approach based on some simplifying assumptions which allow us to view the transformation problem as a reachability problem on timed automata, which can be solved with state-of-the-art tools. We demonstrate the effectiveness and scalability of the approach in a number of scenarios. Finally, we turn towards noisy sensors and effectors. Based on DS, a probabilistic variant of the situation calculus that allows modeling the agent's degree of belief, we describe an abstraction framework for Golog programs with noisy actions. In this framework, a high-level and non-stochastic program is mapped to a more detailed and stochastic low-level program. As the high-level program is non-stochastic, we may use non-probabilistic reasoning methods such as task planning or classical Golog program execution. At the same time, by mapping the abstract actions to low-level programs, we may still deal with uncertainty during execution. We define a suitable notion of bisimulation that guarantees the equivalence between the high-level and low-level programs and demonstrate the approach with an example.},\n school = {RWTH Aachen University},\n keywords = {artificial intelligence,belief-based programs,cognitive robotics,Golog,knowledge representation,metric temporal logic,situation calculus,stochastic actions,synthesis,timed systems,verification}\n}\n\n

\n

\n\n\n

\n When reasoning about actions, e.g., by means of task planning or agent programming with Golog, the robot's actions are typically modeled on an abstract level, where complex actions such as picking up an object are treated as atomic primitives with deterministic effects and preconditions that only depend on the current state. However, when executing such an action on a robot it can no longer be seen as a primitive. Instead, action execution is a complex task involving multiple steps with additional temporal preconditions and timing constraints. Furthermore, the action may be noisy, e.g., producing erroneous sensing results and not always having the desired effects. While these aspects are typically ignored in reasoning tasks, they need to be dealt with during execution. In this thesis, we propose several approaches towards closing this gap. Based on a logic that combines the situation calculus with metric time and metric temporal logic, we model the robot platform with timed automata and temporal constraints to describe the connection between the high-level actions and the robot platform. We then describe two approaches towards transforming the high-level program. First, we view the transformation as a synthesis problem, where the task is to synthesize a controller that executes the program while satisfying the specification, independent of the environment's choices. We show that the synthesis problem is decidable, describe an algorithm to construct a controller, and evaluate the approach in two robotics scenarios. While this approach supports controlling arbitrary Golog programs against any specification with timing constraints, it does not scale well. For this reason, we describe a second approach based on some simplifying assumptions which allow us to view the transformation problem as a reachability problem on timed automata, which can be solved with state-of-the-art tools. We demonstrate the effectiveness and scalability of the approach in a number of scenarios. Finally, we turn towards noisy sensors and effectors. Based on DS, a probabilistic variant of the situation calculus that allows modeling the agent's degree of belief, we describe an abstraction framework for Golog programs with noisy actions. In this framework, a high-level and non-stochastic program is mapped to a more detailed and stochastic low-level program. As the high-level program is non-stochastic, we may use non-probabilistic reasoning methods such as task planning or classical Golog program execution. At the same time, by mapping the abstract actions to low-level programs, we may still deal with uncertainty during execution. We define a suitable notion of bisimulation that guarantees the equivalence between the high-level and low-level programs and demonstrate the approach with an example.\n

\n\n\n

\n \n\n \n \n \n \n \n \n Abstracting Noisy Robot Programs.\n \n \n \n \n\n\n \n Hofmann, T.; and Belle, V.\n\n\n \n\n\n\n In Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Abstracting$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 27 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannAbstractingNoisyRobot2023,\n  title = {Abstracting Noisy Robot Programs},\n  author = {Hofmann, Till and Belle, Vaishak},\n  booktitle = {Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},\n  year = {2023},\n  abstract = {\n    Abstraction is a commonly used process to represent some low-level\n    system by a more coarse specification with the goal to omit unnecessary\n    details while preserving important aspects. While recent work on\n    abstraction in the situation calculus has focused on non-probabilistic\n    domains, we describe an approach to abstraction of probabilistic and\n    dynamic systems. Based on a variant of the situation calculus with\n    probabilistic belief, we define a notion of bisimulation that allows to\n    abstract a detailed probabilistic basic action theory with noisy\n    actuators and sensors by a possibly non-stochastic basic action theory.\n    By doing so, we obtain abstract Golog programs that omit unnecessary\n    details and which can be translated to detailed programs for\n    execution. This simplifies the implementation of noisy robot\n    programs, opens up the possibility of using non-stochastic reasoning\n    methods (e.g., planning) on probabilistic problems, and provides domain\n    descriptions that are more easily interpretable.\n  },\n  url = {https://kbsg.rwth-aachen.de/papers/aamas2023-abstraction.pdf}\n}\n\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Controlling Timed Automata against MTL Specifications with TACoS.\n \n \n \n \n\n\n \n Hofmann, T.; and Schupp, S.\n\n\n \n\n\n\n Science of Computer Programming, 225: 102898. January 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Controlling$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n \n \n\n\n\n

\n

@article{hofmannControllingTimedAutomata2023,\n  title = {Controlling Timed Automata against {{MTL}} Specifications with {{TACoS}}},\n  author = {Hofmann, Till and Schupp, Stefan},\n  year = {2023},\n  month = jan,\n  journal = {Science of Computer Programming},\n  volume = {225},\n  pages = {102898},\n  issn = {0167-6423},\n  url = {https://kbsg.rwth-aachen.de/papers/scico2023-tacos.pdf},\n  doi = {https://doi.org/10.1016/j.scico.2022.102898},\n  abstract = {TACoS is a tool for synthesizing controllers against specifications of undesired behavior with timing constraints. Given a timed automaton and an MTL specification, the tool synthesizes a controller that guarantees that every possible execution of the system satisfies the given specification. TACoS comes with a C++ library with a simple-to-use API and can read from and write to human-readable text input and output. In this paper, we outline the approach of the tool and present two examples in further detail.},\n  langid = {english},\n  keywords = {Controller synthesis,Metric temporal logic,Timed automata}\n}\n\n

\n

\n\n\n\n\n\n

\n

\n \n 2022\n \n \n (3)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n Using Abstraction for Interpretable Robot Programs in Stochastic Domains.\n \n \n \n \n\n\n \n Hofmann, T.; and Belle, V.\n\n\n \n\n\n\n In Proceedings of the 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR), 2022. \n \n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n \n $\"Using$ slides\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 38 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{AbstractionXLoKR22,\n  title = {Using Abstraction for Interpretable Robot Programs in Stochastic Domains},\n  author = {Till Hofmann and Vaishak Belle},\n  booktitle = {Proceedings of the 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR)},\n  year = {2022},\n  abstract = {\n    A robot's actions are inherently stochastic, as its sensors are noisy\n    and its actions do not always have the intended effects. For this\n    reason, the agent language Golog has been extended to models with\n    degrees of belief and stochastic actions. While this allows more precise\n    robot models, the resulting programs are much harder to comprehend,\n    because they need to deal with the noise, e.g., by looping until some\n    desired state has been reached with certainty, and because the resulting\n    action traces consist of a large number of actions cluttered with sensor\n    noise. To alleviate these issues, we propose to use abstraction. We\n    define a high-level and nonstochastic model of the robot and then map\n    the high-level model into the lower-level stochastic model. The\n    resulting programs are much easier to understand, often do not require\n    belief operators or loops, and produce much shorter action traces.\n  },\n  url = {https://kbsg.rwth-aachen.de/papers/xlokr22-abstraction.pdf},\n  url_Slides = {https://kbsg.rwth-aachen.de/papers/xlokr22-abstraction-slides.pdf},\n  doi = {10.48550/arXiv.2207.12763}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning.\n \n \n \n \n\n\n \n Swoboda, D.; Hofmann, T.; Viehmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 10th ICAPS Workshop on Planning and Robotics (ICAPS PlanRob), 2022. \n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n \n $\"Towards$ code\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{PromisesPlanRob22,\n  title = {Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning},\n  author = {Daniel Swoboda and Till Hofmann and Tarik Viehmann and Gerhard Lakemeyer},\n  booktitle = {Proceedings of the 10th ICAPS Workshop on Planning and Robotics (ICAPS PlanRob)},\n  year = {2022},\n  abstract = {\n    Reasoning and planning for mobile robots is a challenging problem, as the\n    world evolves over time and thus the robot's goals may change. One\n    technique to tackle this problem is goal reasoning, where the agent not\n    only reasons about its actions, but also about which goals to pursue. While\n    goal reasoning for single agents has been researched extensively,\n    distributed, multi-agent goal reasoning comes with additional challenges,\n    especially in a distributed setting.  In such a context, some form of\n    coordination is necessary to allow for cooperative behavior. Previous goal\n    reasoning approaches share the agent's world model with the other agents,\n    which already enables basic cooperation.  However, the agent's goals, and\n    thus its intentions, are typically not shared.\n\n    In this paper, we present a method to tackle this limitation. Extending an\n    existing goal reasoning framework, we propose enabling cooperative behavior\n    between multiple agents through promises, where an agent may promise that\n    certain facts will be true at some point in the future. Sharing these\n    promises allows other agents to not only consider the current state of the\n    world, but also the intentions of other agents when deciding on which goal\n    to pursue next.  We describe how promises can be incorporated into the goal\n    life cycle, a commonly used goal refinement mechanism. We then show how\n    promises can be used when planning for a particular goal by connecting them\n    to timed initial literals (TILs) from PDDL planning.  Finally, we evaluate\n    our prototypical implementation in a simplified logistics scenario.\n  },\n  url = {https://kbsg.rwth-aachen.de/papers/planrob22-promises.pdf},\n  doi = {10.48550/arXiv.2206.09864},\n  url_Code = {https://doi.org/10.5281/zenodo.6610426}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Controlling Golog Programs against MTL Constraints.\n \n \n \n \n\n\n \n Hofmann, T.; and Schupp, S.\n\n\n \n\n\n\n 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"Controlling$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@misc{hofmannControllingGologPrograms2022,\n  title = {Controlling Golog Programs against MTL Constraints},\n  author = {Hofmann, Till and Schupp, Stefan},\n  year = {2022},\n  eprint = {2204.03596},\n  archivePrefix = {arXiv},\n  primaryClass = {cs.AI},\n  doi = {10.48550/ARXIV.2204.03596},\n  url = {https://arxiv.org/abs/2204.03596},\n  abstract = {\n    While Golog is an expressive programming language to control the\n    high-level behavior of a robot, it is often tedious to use on a real\n    robotic system. On an actual robot, the user needs to consider low-level\n    details, such as enabling and disabling hardware components, e.g., a\n    camera to detect objects for grasping.  In other words, high-level actions\n    usually pose implicit temporal constraints on the low-level platform,\n    which are typically independent of the concrete program to be executed.\n    In this paper, we propose to make these constraints explicit by\n    modeling them as MTL formulas, which enforce the execution of certain\n    low-level platform operations in addition to the main program.  Based on\n    results from timed automata controller synthesis, we describe a method\n    to synthesize a controller that executes both the high-level program and\n    the low-level platform operations concurrently in order to satisfy the\n    MTL specification.  This allows the user to focus on the high-level\n    behavior without the need to consider low-level operations. We present\n    an extension to Golog by clocks together with the required theoretical\n    foundations as well as decidability results.\n  }\n}\n\n

\n

\n\n\n\n\n\n

\n

\n \n 2021\n \n \n (6)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n TACoS: A Tool for MTL Controller Synthesis.\n \n \n \n \n\n\n \n Hofmann, T.; and Schupp, S.\n\n\n \n\n\n\n In Proceedings of the 19th International Conference on Software Engineering and Formal Methods, 2021. \n Best Tool Paper Award\n\n\n\n
\n\n\n\n \n \n $\"TACoS:$ Paper\n \n \n \n $\"TACoS:$ slides\n \n \n \n $\"TACoS:$ code\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannTACoSToolMTL2021,\n  title = {{{TACoS}}: A Tool for {{MTL}} Controller Synthesis},\n  booktitle = {Proceedings of the 19th {{International Conference}} on {{Software Engineering}} and {{Formal Methods}}},\n  author = {Hofmann, Till and Schupp, Stefan},\n  year = {2021},\n  abstract = {We introduce TACoS, a tool for synthesizing controllers\n              satisfying MTL specifications of undesired behavior with timing\n              constraints.  Our contribution extends an existing theoretical\n              approach towards practical applications.  The most notable\n              features include: Online labeling to terminate early if a\n              solution has been found, heuristic search to expand the most\n              promising nodes first, search graph pruning to reduce the problem\n              size by pruning irrelevant parts of the search graph, and\n              re-using previously explored search nodes to further reduce the\n              search graph.  Finally, multi-threading support allows to make\n              use of modern CPUs with many parallel threads.  TACoS comes with\n              a C++ library with minimal external dependencies and\n              simple-to-use API.  We evaluate our approach on a number of\n              scenarios and investigate how each of the enhancements improves\n              the performance. The tool is publicly available at\n              https://github.com/morxa/tacos.},\n  url = {https://kbsg.rwth-aachen.de/papers/sefm21-tacos.pdf},\n  url_slides = {https://kbsg.rwth-aachen.de/papers/sefm21-tacos-slides.pdf},\n  doi = {10.1007/978-3-030-92124-8_21},\n  note = {Best Tool Paper Award},\n  url_Code = {https://github.com/morxa/tacos}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.\n \n \n \n \n\n\n \n Viehmann, T.; Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Transforming$ Paper\n \n \n \n $\"Transforming$ poster\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{viehmannTransformingRoboticPlans2021,\n  title = {Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints},\n  booktitle = {Proceedings of the 30th {{International Joint Conference}} on {{Artificial Intelligence}} ({{IJCAI}})},\n  author = {Viehmann, Tarik and Hofmann, Till and Lakemeyer, Gerhard},\n  year = {2021},\n  url = {https://kbsg.rwth-aachen.de/papers/ijcai21-ta-transformation.pdf},\n  doi = {10.24963/ijcai.2021/287},\n  url_Poster = {https://kbsg.rwth-aachen.de/papers/ijcai21-ta-transformation_poster.pdf},\n  abstract = {\n    Task planning for mobile robots typically uses an abstract planning domain\n    that ignores the low-level details of the specific robot platform.\n    Therefore, executing a plan on an actual robot often requires\n    additional steps to deal with the specifics of the robot platform. Such\n    a platform can be modeled with timed automata and a set of temporal\n    constraints that need to be satisfied during execution.\n\n    In this paper, we describe how to transform an abstract plan into a\n    platform-specific action sequence that satisfies all platform\n    constraints. The transformation procedure first transforms the plan into\n    a timed automaton, which is then combined with the platform automata\n    while removing all transitions that violate any constraint. We then\n    apply reachability analysis on the resulting automaton.  From any\n    solution trace one can obtain the abstract plan extended by additional\n    platform actions such that all platform constraints are satisfied.  We\n    describe the transformation procedure in detail and provide an\n    evaluation in two real-world robotics scenarios.\n  }\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots.\n \n \n \n \n\n\n \n Habering, D.; Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n \n $\"Using$ slides\n \n \n \n $\"Using$ poster\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 22 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{haberingUsingPlatformModels2021,\n  title = {Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots},\n  booktitle = {Proceedings of the 30th {{International Joint Conference}} on {{Artificial Intelligence}} ({{IJCAI}})},\n  author = {Habering, Daniel and Hofmann, Till and Lakemeyer, Gerhard},\n  year = {2021},\n  url = {https://kbsg.rwth-aachen.de/papers/ijcai21-diagnosis.pdf},\n  doi = {10.24963/ijcai.2021/263},\n  url_Slides = {https://kbsg.rwth-aachen.de/papers/ijcai21-diagnosis_slides.pdf},\n  url_Poster = {https://kbsg.rwth-aachen.de/papers/ijcai21-diagnosis_poster.pdf},\n  abstract = {\n    Plan execution on a mobile robot is inherently error-prone, as the robot\n    needs to act in a physical world which can never be completely\n    controlled by the robot. If an error occurs during execution, the true\n    world state is unknown, as a failure may have unobservable consequences.\n    One approach to deal with such failures is diagnosis, where the true\n    world state is determined by identifying a set of faults based on sensed\n    observations. In this paper, we present a novel approach to explanatory\n    diagnosis, based on the assumption that most failures occur due to some\n    robot hardware failure. We model the robot platform components with\n    state machines and formulate action variants for the robots' actions,\n    modelling different fault modes. We apply diagnosis as\n    planning with a top-k planning approach to determine possible diagnosis\n    candidates and then use active diagnosis to find out which of those\n    candidates is the true diagnosis.  Finally, based on the platform model,\n    we recover from the occurred failure such that the robot can continue to\n    operate. We evaluate our approach in a logistics robots scenario by\n    comparing it to having no diagnosis and diagnosis without platform\n    models, showing a significant improvement to both alternatives.\n  }\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Portable High-Level Agent Programming with Golog++.\n \n \n \n \n\n\n \n Mataré, V.; Viehmann, T.; Hofmann, T.; Lakemeyer, G.; Ferrein, A.; and Schiffer, S.\n\n\n \n\n\n\n In Proceedings of the 13th International Conference on Agents and Artifical Intelligence (ICAART), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Portable$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{matarePortableHighlevelAgent2021,\n  title = {Portable High-Level Agent Programming with Golog++},\n  booktitle = {Proceedings of the 13th {{International Conference}} on {{Agents}} and {{Artifical Intelligence}} ({{ICAART}})},\n  author = {Matar{\\'e}, Victor and Viehmann, Tarik and Hofmann, Till and Lakemeyer, Gerhard and Ferrein, Alexander and Schiffer, Stefan},\n  year = {2021},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/icaart21-gologpp.pdf},\n  doi={10.5220/0010253902180227},\n  abstract = {We present golog++, a high-level agent programming and interfacing framework that offers a temporal constraint language to explicitly model layer-penetrating contingencies in low-level platform behavior. It can be used to maintain a clear separation between an agent's domain model and certain quirks of its execution platform that affect problem solving behavior. Our system reasons about the execution of an abstract (i.e. exclusively domain-bound) plan on a particular execution platform. This way, we avoid compounding the complexity of the planning problem while improving the modularity of both golog and the user code. On a run-through example from the well-known blocksworld domain, we demonstrate the entire process from domain modeling and platform modeling to plan transformation and platform-specific plan execution.}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Multi-Agent Goal Reasoning with the CLIPS Executive in the Robocup Logistics League.\n \n \n \n \n\n\n \n Hofmann, T.; Viehmann, T.; Gomaa, M.; Habering, D.; Niemueller, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 13th International Conference on Agents and Artifical Intelligence (ICAART), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Multi-Agent$ Paper\n \n \n \n $\"Multi-Agent$ slides\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannMultiagentGoalReasoning2021,\n  title = {Multi-Agent Goal Reasoning with the {{CLIPS Executive}} in the {{Robocup Logistics League}}},\n  booktitle = {Proceedings of the 13th {{International Conference}} on {{Agents}} and {{Artifical Intelligence}} ({{ICAART}})},\n  author = {Hofmann, Till and Viehmann, Tarik and Gomaa, Mostafa and Habering, Daniel and Niemueller, Tim and Lakemeyer, Gerhard},\n  year = {2021},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/icaart21-goal-reasoning-rcll.pdf},\n  url_Slides = {https://kbsg.rwth-aachen.de/~hofmann/papers/icaart21-goal-reasoning-rcll-slides.pdf},\n  doi={10.5220/0010252600800091},\n  abstract = {Production processes in smart factories moved away from a process-centered paradigm into a modular production paradigm, facing the variations in demanded product configurations and deadlines with a flexible production.  The RoboCup Logistics League (RCLL) is a robotics competition in the context of in-factory logistics, in which a team of three autonomous mobile robots manufacture dynamically ordered products. The main challenges include task reasoning, multi-agent coordination, and robust execution in a dynamic environment. We present a multi-agent goal reasoning approach where agents continuously reason about which objectives to pursue rather than only planning for a fixed objective.  We describe an incremental, distributed formulation of the RCLL problem implemented in the goal reasoning system CLIPS Executive. We elaborate what kind of goals we use in the RCLL, how we use goal trees to define an effective production strategy and how agents coordinate effectively by means of primitive lock actions as well as goal-level resource allocation.  The system utilizes a PDDL model to describe domain predicates and actions, as well as to determine the executability and effects of actions during execution. Our agent is able to react to unexpected events, such as a broken machine or a failed action, by monitoring the execution of the plan, re-evaluating goals, and taking over goals which were previously pursued by another robot. We present a detailed evaluation of the system used on real robots}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints.\n \n \n \n \n\n\n \n Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Controller$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@misc{hofmannMTLSynthesis2021,\n    title={Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints},\n    author={Till Hofmann and Gerhard Lakemeyer},\n    year={2021},\n    eprint={2102.09837},\n    archivePrefix={arXiv},\n    primaryClass={cs.AI},\n    url = {https://arxiv.org/abs/2102.09837},\n    abstract = {\n      Executing a Golog program on an actual robot typically requires\n      additional steps to account for hardware or software details of the\n      robot platform, which can be formulated as constraints on the program.\n      Such constraints are often temporal, refer to metric time, and require\n      modifications to the abstract Golog program.  We describe how to\n      formulate such constraints based on a modal variant of the Situation\n      Calculus. These constraints connect the abstract program with the\n      platform models, which we describe using timed automata.  We show that\n      for programs over finite domains and with fully known initial state, the\n      problem of synthesizing a controller that satisfies the constraints\n      while preserving the effects of the original program can be reduced to\n      MTL synthesis.  We do this by constructing a timed automaton from the\n      abstract program and synthesizing an MTL controller from this automaton,\n      the platform models, and the constraints. We prove that the synthesized\n      controller results in execution traces which are the same as those of\n      the original program, possibly interleaved with platform-dependent\n      actions, that they satisfy all constraints, and that they have the same\n      effects as the traces of the original program. By doing so, we obtain a\n      decidable procedure to synthesize a controller that satisfies the\n      specification while preserving the original program.\n    }\n}\n\n

\n

\n\n\n\n\n\n

\n

\n \n 2020\n \n \n (4)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints.\n \n \n \n \n\n\n \n Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n Poster at the 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"Controller$ Paper\n \n \n \n $\"Controller$ teaser\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@misc{hofmannMTLSynthesis2020,\n  title = {Controller Synthesis for {{Golog}} Programs over Finite Domains with Metric Temporal Constraints},\n  author = {Till Hofmann and Gerhard Lakemeyer},\n  year = {2020},\n  month= {September},\n  day = {16},\n  howpublished = {Poster at the 17th {{International Conference on Principles of Knowledge Representation and Reasoning}}},\n  abstract = {\n    Executing a Golog program on an actual robot typically requires\n    additional steps to account for hardware or software details of the\n    robot platform, which can be formulated as constraints on the program.\n    Such constraints are often temporal, refer to metric time, and require\n    modifications to the abstract Golog program.  We describe how to\n    formulate such constraints based on a modal variant of the Situation\n    Calculus. These constraints connect the abstract program with the\n    platform models, which we describe using timed automata.  We show that\n    for programs over finite domains and with fully known initial state, the\n    problem of synthesizing a controller that satisfies the constraints\n    while preserving the effects of the original program can be reduced to\n    MTL synthesis.  We do this by constructing a timed automaton from the\n    abstract program and synthesizing an MTL controller from this automaton,\n    the platform models, and the constraints. We prove that the synthesized\n    controller results in execution traces which are the same as those of\n    the original program, possibly interleaved with platform-dependent\n    actions, that they satisfy all constraints, and that they have the same\n    effects as the traces of the original program. By doing so, we obtain a\n    decidable procedure to synthesize a controller that satisfies the\n    specification while preserving the original program.\n  },\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/golog-synthesis-poster.pdf},\n  url_Teaser = {https://youtu.be/ns4b8L9RlJo}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Constraint-based Plan Transformation in a Safe and Usable GOLOG Language.\n \n \n \n \n\n\n \n Mataré, V.; Schiffer, S.; Ferrein, A.; Viehmann, T.; Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP), October 2020. \n \n\n\n\n
\n\n\n\n \n \n $\"Constraint-based$ Paper\n \n \n \n $\"Constraint-based$ presentation\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{ Matare:EtAl:IROS2020WS:ConTrAkt,\n  author       = {Victor Mataré and Stefan Schiffer and Alexander Ferrein and Tarik Viehmann and Till Hofmann and Gerhard Lakemeyer},\n  title        = {Constraint-based Plan Transformation in a Safe and Usable {GOLOG} Language},\n  booktitle    = {Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP)},\n  month        = {October},\n  day          = {25--29},\n  year         = {2020},\n  location     = {Las Vegas, NV, USA},\n  url          = {https://iros2020-workshop-cobarop.gitlab.io/abstracts/3463_CobaRoP_EA_Matare.pdf},\n  url_Presentation    = {https://youtu.be/4t7BOnh8pMI}\n}\n\n

\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Macro Operator Synthesis for ADL Domains.\n \n \n \n \n\n\n \n Hofmann, T.; Niemueller, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), 2020. \n \n\n\n\n
\n\n\n\n \n \n $\"Macro$ Paper\n \n \n \n $\"Macro$ presentation\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannMacroOperatorSynthesis2020,\n  title = {Macro Operator Synthesis for {{ADL}} Domains},\n  booktitle = {Proceedings of the 24th {{European Conference}} on {{Artificial Intelligence}} ({{ECAI}})},\n  author = {Hofmann, Till and Niemueller, Tim and Lakemeyer, Gerhard},\n  year = {2020},\n  abstract = {A macro operator is a planning operator that is generated from a\n    sequence of actions. Macros have mostly been used for macro\n    planning, where the planner considers the macro as a single action and\n    expands it into the original sequence during execution, but they can\n    also be applied to other problems, such as maintaining a plan library.\n    There are several approaches to macro operator generation, which differ\n    in restrictions on the original actions and in the way they represent\n    macros.  However, all existing approaches are either restricted to\n    STRIPS domains, only work on grounded actions, or they do not synthesize\n    macros but consider the original sequence instead. We study the\n    synthesis of macro operators for ADL domains. We describe how to compute\n    the parameterized preconditions and effects of a macro operator such that\n    they are equivalent to the preconditions and effects of the respective\n    action sequence and prove the correctness of the synthesized macro\n    operators based on a Situation Calculus semantics for ADL. We use the\n    synthesis method for ADL macro planning and evaluate it on a number of domains\n    from the IPC. As a second application, we describe how macro operator synthesis\n    can be useful for maintaining a plan library by computing the precondition and\n    effects of the parameterized library plans.\n  },\n  url = {http://ecai2020.eu/papers/1491_paper.pdf},\n  url_Presentation = {https://www.underline.io/events/24/sessions/194/lecture/2010-macro-operator-synthesis-for-adl-domains}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The Carologistics RoboCup Logistics Team 2020.\n \n \n \n \n\n\n \n Hofmann, T.; Eltester, S.; Viehmann, T.; Limpert, N.; Mataré, V.; Ferrein, A.; and Lakemeyer, G.\n\n\n \n\n\n\n Technical Report RWTH Aachen University and Aachen University of Applied Sciences, Aachen, Germany, March 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@techreport{Carologistics2020,\n  title =\t{The {Carologistics} {RoboCup Logistics} Team 2020},\n  author =\t{Till Hofmann and Sebastian Eltester and Tarik Viehmann and Nicolas Limpert and Victor Mataré and Alexander Ferrein and Gerhard Lakemeyer},\n  institution =\t{RWTH Aachen University and Aachen University of Applied Sciences},\n  address =\t{Aachen, Germany},\n  year =\t{2020},\n  month =\t{March},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/carologistics-2020-tdp.pdf}\n}\n\n

\n

\n\n\n\n

\n\n\n\n\n\n

\n

\n \n 2019\n \n \n (3)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning.\n \n \n \n \n\n\n \n Hofmann, T.; Limpert, N.; Mataré, V.; Ferrein, A.; and Lakemeyer, G.\n\n\n \n\n\n\n In RoboCup 2019: Robot World Cup XXIII, pages 504-516, 2019. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n $\"Winning$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannWinningRoboCupLogistics2019,\n  abstract = {The RoboCup Logistics League is a robotics competition in a Smart Factory scenario in which a team of robots has to assemble products for dynamically generated orders. In 2019, the Carologistics was able to win the competition with a redesigned manipulation system, improved navigation, and an incremental and distributed goal reasoning system. In this paper, we describe the major components of our approach that enabled us to win the competition, with a particular focus on this year's changes.},\n  author = {Hofmann, Till and Limpert, Nicolas and Matar{\\'e}, Victor and Ferrein, Alexander and Lakemeyer, Gerhard},\n  booktitle = {{{RoboCup}} 2019: {{Robot World Cup XXIII}}},\n  doi = {10.1007/978-3-030-35699-6_41},\n  isbn = {978-3-030-35699-6},\n  language = {en},\n  pages = {504-516},\n  publisher = {{Springer International Publishing}},\n  title = {Winning the {{RoboCup Logistics League}} with {{Fast Navigation}}, {{Precise Manipulation}}, and {{Robust Goal Reasoning}}},\n  year = {2019},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/carologistics-2019-champions.pdf}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution.\n \n \n \n \n\n\n \n Niemueller, T.; Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), pages 754-763, Berkeley, CA, USA, 2019. \n \n\n\n\n
\n\n\n\n \n \n $\"Goal$ Paper\n \n \n \n $\"Goal$ presentation\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{niemuellerGoalReasoningCLIPS2019,\n  address = {{Berkeley, CA, USA}},\n  author = {Niemueller, Tim and Hofmann, Till and Lakemeyer, Gerhard},\n  booktitle = {Proceedings of the 29th {{International Conference}} on {{Automated Planning}} and {{Scheduling}} ({{ICAPS}})},\n  pages = {754-763},\n  title = {Goal Reasoning in the {{CLIPS Executive}} for Integrated Planning and Execution},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/clips-exec-icaps19.pdf},\n  url_Presentation = {https://youtu.be/HeDFYe5H-gw?t=1835},\n  year = {2019}\n}\n\n

\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The Carologistics RoboCup Logistics Team 2019.\n \n \n \n \n\n\n \n Hofmann, T.; Limpert, N.; Mataré, V.; Ferrein, A.; and Lakemeyer, G.\n\n\n \n\n\n\n Technical Report RWTH Aachen University and Aachen University of Applied Sciences, Aachen, Germany, July 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@techreport{Carologistics2019,\n  title =\t{The {Carologistics} {RoboCup Logistics} Team 2019},\n  author =\t{Till Hofmann and Nicolas Limpert and Victor Mataré and Alexander Ferrein and Gerhard Lakemeyer},\n  institution =\t{RWTH Aachen University and Aachen University of Applied Sciences},\n  address =\t{Aachen, Germany},\n  year =\t{2019},\n  month =\t{July},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/carologistics-2019-tdp.pdf}\n}\n\n

\n

\n\n\n\n

\n\n\n\n\n\n

\n

\n \n 2018\n \n \n (4)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n A Logic for Specifying Metric Temporal Constraints for Golog Programs.\n \n \n \n \n\n\n \n Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob), Tempe, AZ, USA, 2018. \n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{hofmannLogicSpecifyingMetric2018,\n  address = {Tempe, AZ, USA},\n  author = {Hofmann, Till and Lakemeyer, Gerhard},\n  booktitle = {Proceedings of the 11th {{Cognitive Robotics Workshop}} 2018 ({{CogRob}})},\n  title = {A Logic for Specifying Metric Temporal Constraints for {{Golog}} Programs},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/timed-esg-cogrob18.pdf},\n  year = {2018}\n}\n\n

\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n CLIPS-based Execution for PDDL Planners.\n \n \n \n \n\n\n \n Niemueller, T.; Hofmann, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), Delft, Netherlands, 2018. \n \n\n\n\n
\n\n\n\n \n \n $\"CLIPS-based$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{CX-PDDL,\n  author = {Tim Niemueller and Till Hofmann and Gerhard Lakemeyer},\n  title = {CLIPS-based Execution for PDDL Planners},\n  booktitle = {Proceedings of the 2nd Workshop on Integrated Planning, Acting,\n               and Execution (ICAPS IntEx)},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/clips-exec-pddl.pdf},\n  address = {Delft, Netherlands},\n  abstract = {\n  Integrating planning and execution which treats either component as a black\n  box may lead to disparate representations of the domain or information\n  currently known. Consistency and bidirectional information flow are then hard\n  to ensure. However, the separation of these concerns is still useful from an\n  integration point of view.\n\n  In this paper, we discuss the integration of planning systems using the\n  Planning Domain Definition Language (PDDL) with an executive based on the\n  CLIPS rule-based production system. In particular, we describe how we achieved\n  one common and unified domain model used by both systems and some additions we\n  add for the execution model. We also show how the execution model enables\n  effective execution monitoring and selective replanning.\n  },\n  year = 2018\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The Carologistics RoboCup Logistics Team 2018.\n \n \n \n \n\n\n \n Hofmann, T.; Limpert, N.; Mataré, V.; Schönitz, S.; Niemueller, T.; Ferrein, A.; and Lakemeyer, G.\n\n\n \n\n\n\n Technical Report RWTH Aachen University and Aachen University of Applied Sciences, Aachen, Germany, June 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@techreport{Carologistics2018,\n  title =\t{The {Carologistics} {RoboCup Logistics} Team 2018},\n  author =\t{Till Hofmann and Nicolas Limpert and Victor Mataré and Sebastian Schönitz and Tim Niemueller and Alexander Ferrein and Gerhard Lakemeyer},\n  institution =\t{RWTH Aachen University and Aachen University of Applied Sciences},\n  address =\t{Aachen, Germany},\n  year =\t{2018},\n  month =\t{June},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/carologistics-2018-tdp.pdf}\n}\n\n

\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions.\n \n \n \n \n\n\n \n Hofmann, T.; Mataré, V.; Schiffer, S.; Ferrein, A.; and Lakemeyer, G.\n\n\n \n\n\n\n In AAAI Spring Symposium 2018 on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy, Stanford, CA, USA, 2018. \n \n\n\n\n
\n\n\n\n \n \n $\"Constraint-Based$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@InProceedings{ConTrAkt-SIRLE,\n  author = {Till Hofmann and Victor Mataré and Stefan Schiffer and Alexander\n            Ferrein and Gerhard Lakemeyer},\n  title = {Constraint-Based Online Transformation of Abstract Plans into\n           Executable Robot Actions},\n  booktitle = {AAAI Spring Symposium 2018 on Integrating Representation,\n               Reasoning, Learning, and Execution for Goal Directed Autonomy},\n  year = 2018,\n  address = {Stanford, CA, USA},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/contrakt-sirle.pdf},\n  abstract = {\n  In this paper, we are concerned with making the execution of abstract action\n  plans for robotic agents more robust.  To this end, we propose to model the\n  internals of a robot system and its ties to the actions that the robot can\n  perform.  Based on these models, we propose an online transformation of an\n  abstract plan into executable actions conforming with system specifics.  With\n  our framework, we aim to achieve two goals.  First, modeling the system\n  internals is beneficial in its own right in order to achieve long term\n  autonomy, system transparency, and comprehensibility.  Second, separating the\n  system details from determining the course of action on an abstract level\n  leverages the use of planning for actual robotic systems.\n  }\n}\n\n

\n

\n\n\n\n\n\n

\n

\n \n 2017\n \n \n (3)\n \n \n

\n

\n \n \n

\n \n\n \n \n \n \n \n \n Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017.\n \n \n \n \n\n\n \n Hofmann, T.; Mataré, V.; Neumann, T.; Schönitz, S.; Henke, C.; Limpert, N.; Niemueller, T.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G.\n\n\n \n\n\n\n In RoboCup Symposium – Champion Teams Track, Nagoya, Japan, 2017. \n \n\n\n\n
\n\n\n\n \n \n $\"Enhancing$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@inproceedings{CarologisticsCP2017,\n  author = {Till Hofmann and Victor Mataré and Tobias Neumann and Sebastian\n            Schönitz and Christoph Henke and Nicolas Limpert and Tim Niemueller\n            and Alexander Ferrein and Sabina Jeschke and Gerhard Lakemeyer},\n  title = {Enhancing Software and Hardware Reliability for a Successful\n           Participation in the RoboCup Logistics League 2017},\n  booktitle = {RoboCup Symposium -- Champion Teams Track},\n  url =   {https://kbsg.rwth-aachen.de/~hofmann/papers/carologistics-2017-champions-tdp.pdf},\n  address = {Nagoya, Japan},\n  abstract = {\n  In 2017, the RoboCup Logistics League has seen major changes to the playing\n  field layout, which allows for more configuration variants that are now\n  generated randomly and automatically, leading towards a more realistic smart\n  factory scenario.  The Carologistics team developed a new strategy for\n  exploration and improved existing components with a particular focus on\n  navigation and error handling in the behavior engine and high-level reasoning.\n  We describe the major concepts of our approach with a focus on the\n  improvements in comparison to last year, which enabled us to win the\n  competition in 2017.\n  },\n  year = 2017\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots.\n \n \n \n \n\n\n \n Hofmann, T.; Niemueller, T.; and Lakemeyer, G.\n\n\n \n\n\n\n In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, PA, USA, 2017. \n \n\n\n\n
\n\n\n\n \n \n $\"Initial$ Paper\n \n \n \n $\"Initial$ poster\n \n \n \n $\"Initial$ presentation\n \n \n \n $\"Initial$ project\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@InProceedings {DBMP-STRIPS,\n  author = {Till Hofmann and Tim Niemueller and Gerhard Lakemeyer},\n  title = {Initial Results on Generating Macro Actions from a Plan Database for\n           Planning on Autonomous Mobile Robots},\n  booktitle = {Proceedings of the 27th International Conference on Automated\n               Planning and Scheduling (ICAPS)},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/db-macro-planning-short-proceedings.pdf},\n  url_Poster = {https://kbsg.rwth-aachen.de/~hofmann/papers/db-macro-planning-short-poster.pdf},\n  url_Presentation = {https://youtu.be/AOQX0vsioqI},\n  url_Project = {https://www.fawkesrobotics.org/projects/dbmp-strips/},\n  year = 2017,\n  address = {Pittsburgh, PA, USA},\n  abstract = {Planning in an on-line robotics context has the specific\n              requirement of a short planning duration. A property of typical\n              contemporary scenarios is that (mobile) robots perform similar or\n              even repeating tasks during operation.  With these robot domains\n              in mind, we propose database-driven macro planning for STRIPS\n              (DBMP/S) that learns macros - action sequences that frequently\n              appear in plans - from experience for PDDL-based planners.\n              Planning duration is improved over time by off-line processing of\n              seed plans using a scalable database. The approach is indifferent\n              about the specific planner by representing the resulting macros\n              again as actions with preconditions and effects determined based\n              on the actions contained in the macro. For some domains we have\n              used separate planners for learning and execution exploiting their\n              respective strengths. Initial results based on some IPC domains\n              and a logistic robot scenario show significantly improved (over\n              non-macro planners) or slightly better and comparable (to existing\n              macro planners) performance.}\n}\n\n

\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The Carologistics RoboCup Logistics Team 2017.\n \n \n \n \n\n\n \n Neumann, T.; Hofmann, T.; Mataré, V.; Henke, C.; Schönitz, S.; Niemueller, T.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G.\n\n\n \n\n\n\n Technical Report RWTH Aachen University and Aachen University of Applied Sciences, Aachen, Germany, July 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n

@techreport{Carologistics2017,\n  title =\t{The {Carologistics} {RoboCup Logistics} Team 2017},\n  author =\t{Tobias Neumann and Till Hofmann and Victor Mataré and Christoph Henke and Sebastian Schönitz and Tim Niemueller and Alexander Ferrein and Sabina Jeschke and Gerhard Lakemeyer},\n  institution =\t{RWTH Aachen University and Aachen University of Applied Sciences},\n  address =\t{Aachen, Germany},\n  year =\t{2017},\n  month =\t{July},\n  url = {https://kbsg.rwth-aachen.de/~hofmann/papers/carologistics-2017-tdp.pdf}\n}\n

\n

\n\n\n\n

\n\n\n\n\n\n

\n