Joerg Hoffmann
5 papers · 2016–2023 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ 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)
Papers
Neural Policy Safety Verification via Predicate Abstraction: CEGAR
AAAI 2023
Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search
AAAI 2020
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search
IJCAI 2018
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning
IJCAI 2018
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation
COLING 2016