Jendrik Seipp
Counterexample-Guided Cartesian Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSJendrik Seipp
Counterexample-Guided Cartesian Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning