Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.

Zhenhe Cui Weidu Kuang Yongmei Liu

Published in: IJCAI (2023)

Keyphrases

heuristic search
planning problems
high level
goal oriented
search algorithm
state space
decision theoretic
ai planning
mixed initiative
planning process
mission planning
data sets
databases
data structure
production planning
heuristic function