Property Directed Reachability for Planning Revisited.

Ava Clifton Charles Gretton

Published in: KR (2023)

Keyphrases

stochastic domains
planning problems
domain independent
mission planning
heuristic search
state space
query language
information retrieval
artificial neural networks
case study
decision making
computer vision
decision theoretic
transitive closure
goal oriented
planning process
blocks world
neural network