edoc

Items where contributor is "Kreft, Raphael"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed | No Grouping

Conference or Workshop Item

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan and Helmert, Malte. (2023) Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 221-226.

Other

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan. (2023) CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions.