Till Hofmann

According to our database, Till Hofmann authored at least 25 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

LTLf Synthesis on First-Order Action Theories.

Till Hofmann, Jens Claßen

CoRR, 2024

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories.

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

CoRR, 2024

Towards Bridging the Gap between High-Level Reasoning and Execution on Robots.

Till Hofmann

CoRR, 2024

Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains.

Till Hofmann, Hector Geffner

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Towards bridging the gap between high-level reasoning and execution on robots.

Till Hofmann

PhD thesis, 2023

Controlling timed automata against MTL specifications with TACoS.

Till Hofmann, Stefan Schupp

Sci. Comput. Program., 2023

Abstracting Noisy Robot Programs.

Till Hofmann, Vaishak Belle

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Using Abstraction for Interpretable Robot Programs in Stochastic Domains.

Till Hofmann, Vaishak Belle

CoRR, 2022

Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning.

Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer

CoRR, 2022

Controlling Golog Programs against MTL Constraints.

Till Hofmann, Stefan Schupp

CoRR, 2022

Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning.

Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer

Proceedings of the RoboCup 2022:, 2022

2021

Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints.

Till Hofmann, Gerhard Lakemeyer

CoRR, 2021

TACoS: A Tool for MTL Controller Synthesis.

Till Hofmann, Stefan Schupp

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots.

Daniel Habering, Till Hofmann, Gerhard Lakemeyer

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Portable High-level Agent Programming with golog++.

Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

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

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

Macro Operator Synthesis for ADL Domains.

Till Hofmann, Tim Niemueller, Gerhard Lakemeyer

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

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

Proceedings of the RoboCup 2019: Robot World Cup XXIII [Sydney, 2019

Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution.

Tim Niemueller, Till Hofmann, Gerhard Lakemeyer

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

A Logic for Specifying Metric Temporal Constraints for Golog Programs.

Till Hofmann, Gerhard Lakemeyer

Proceedings of the 11th Cognitive Robotics Workshop 2018, 2018

Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions.

Till Hofmann, Victor Mataré, Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer

Proceedings of the 2018 AAAI Spring Symposia, 2018

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

Proceedings of the RoboCup 2017: Robot World Cup XXI [Nagoya, Japan, July 27-31, 2017]., 2017

Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots.

Till Hofmann, Tim Niemueller, Gerhard Lakemeyer

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Continual Planning in Golog.

Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016