Return to Article Details Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement Download Download PDF