Alexander Rovner, Silvan Sievers and Malte Helmert
Optimal & Oversubscription Planning : Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning
Categories
ICAPSInternational Conference on Automated Planning and Scheduling