Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning.

Alexander Rovner Silvan Sievers Malte Helmert

Published in: ICAPS (2019)

Keyphrases

classical planning
domain independent
planning problems
optimal solution
dynamic programming
state space
larger problems
image segmentation
domain specific
probabilistic planning
deterministic domains