Till Hofmann
5 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π§ Keyword Pioneer π Conference Polyglot (2) π Cross-Pollinator (9) π Academic Marathon (5) π Interdisciplinary Bridge
π£
Hot Topic Early Bird
Conferences
IJCAI (3)
AAAI (2)
Top co-authors
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
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
IJCAI 2021
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
IJCAI 2021