Items where Author is "Kreft, Raphael"
Jump to: Conference or Workshop Item | Other Number of items: 2. Conference or Workshop ItemKreft, 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. OtherKreft, Raphael and Büchner, Clemens and Sievers, Silvan. (2023) CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions. |
