Hofmann, Till

5 publications

AAAI 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments Till Hofmann, Jens Claßen

IJCAI 2024 Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains Till Hofmann, Hector Geffner

IJCAI 2021 Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

IJCAI 2021 Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots Daniel Habering, Till Hofmann, Gerhard Lakemeyer

AAAI 2016 Continual Planning in Golog Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer