Till Hofmann

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Temporal Constraints

Planning Domains

Controller Synthesis

Top Venues

Publications

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. CoRR (2024)
Till Hofmann, Hector Geffner
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. CoRR (2024)
Till Hofmann
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots. CoRR (2024)
Till Hofmann, Vaishak Belle
Abstracting Noisy Robot Programs. AAMAS (2023)
Till Hofmann, Stefan Schupp
Controlling timed automata against MTL specifications with TACoS. Sci. Comput. Program. 225 (2023)
Till Hofmann, Vaishak Belle
Using Abstraction for Interpretable Robot Programs in Stochastic Domains. CoRR (2022)
Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. CoRR (2022)
Till Hofmann, Vaishak Belle
Abstracting Noisy Robot Programs. CoRR (2022)
Till Hofmann, Stefan Schupp
Controlling Golog Programs against MTL Constraints. CoRR (2022)
Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. RoboCup (2022)
Till Hofmann, Gerhard Lakemeyer
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. CoRR (2021)
Till Hofmann, Stefan Schupp
TACoS: A Tool for MTL Controller Synthesis. SEFM (2021)
Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
Portable High-level Agent Programming with golog++. ICAART (2) (2021)
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. ICAART (1) (2021)
Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. IJCAI (2021)
Daniel Habering, Till Hofmann, Gerhard Lakemeyer
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. IJCAI (2021)
Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
Macro Operator Synthesis for ADL Domains. ECAI (2020)
Till Hofmann, Nicolas Limpert, Victor Mataré, Alexander Ferrein, Gerhard Lakemeyer
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. RoboCup (2019)
Tim Niemueller, Till Hofmann, Gerhard Lakemeyer
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. ICAPS (2019)
Till Hofmann, Victor Mataré, Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. AAAI Spring Symposia (2018)
Till Hofmann, Gerhard Lakemeyer
A Logic for Specifying Metric Temporal Constraints for Golog Programs. CogRob@KR (2018)
Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. ICAPS (2017)
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. RoboCup (2017)
Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
Continual Planning in Golog. AAAI (2016)