Till Hofmann

5 papers · 2021–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird

Venues

IJCAI (3) AAAI (2)

Top co-authors

Gerhard Lakemeyer (2) Dillon Z. Chen (1) Sheila A. McIlraith (1) Tarik Viehmann (1) Toryn Q. Klassen (1) Daniel Habering (1) Jens Claßen (1) Hector Geffner (1)

Research topics

Artificial Intelligence (5) Core AI (5) Knowledge & Reasoning (1) Robotics (1) Capabilities (1) Learning Paradigms (1) Reasoning (1)

Keywords

automated planning (1) trajectory prediction (1) policy learning (1) fault diagnosis (1) diagnostic reasoning (1) active diagnosis (1) mobile robot (1) task planning (1) temporal logic (1) policy synthesis (1) game-theoretic approach (1) state space (1) non-deterministic planning (1) ltlf synthesis (1) linear temporal logic (1) failure diagnosis (1) explanatory diagnosis (1) platform model (1) first-order rule (1) reachability analysis (1)

Papers

Satisficing and Optimal Generalised Planning via Goal Regression AAAI 2026 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains IJCAI 2024 Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints IJCAI 2021 Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots IJCAI 2021