Automatic Verification of Sound Abstractions for Generalized Planning.

Zhenhe Cui Weidu Kuang Yongmei Liu

Published in: CoRR (2022)

Keyphrases

planning problems
real world
machine learning
decision theoretic
goal oriented
data sets
databases
learning algorithm
artificial intelligence
data structure
expert systems
ai planning
stochastic domains
mission planning