Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement

Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert. Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. In Sven Koenig, Roni Stern, Mauro Vallati, editors, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic. pages 221-226, AAAI Press, 2023. [doi]

Authors

Raphael Kreft

This author has not been identified. Look up 'Raphael Kreft' in Google

Clemens Büchner

This author has not been identified. Look up 'Clemens Büchner' in Google

Silvan Sievers

This author has not been identified. Look up 'Silvan Sievers' in Google

Malte Helmert

This author has not been identified. Look up 'Malte Helmert' in Google