Joerg Hoffmann
5 papers
· 2016–2023
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(7)
π
Cross-Pollinator
(10)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π
Trend Setter
Conferences
AAAI (2)
IJCAI (2)
COLING (1)
Top co-authors
Keywords
heuristic search
(3)
state space search
(2)
classical planning
(2)
formal methods
(1)
linear programming
(1)
neural network verification
(1)
safety verification
(1)
real-time search
(1)
predicate abstraction
(1)
nogood learning
(1)
delete relaxation
(1)
ai planning
(1)
plan synthesis
(1)
grammar-based generation
(1)
dead-end detection
(1)
state-transition system
(1)
belief reasoning
(1)
suboptimal search
(1)
policy verification
(1)
belief modeling
(1)