Till Hofmann
5 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π§
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)