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]
@inproceedings{KreftBSH23,
title = {Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement},
author = {Raphael Kreft and Clemens Büchner and Silvan Sievers and Malte Helmert},
year = {2023},
doi = {10.1609/icaps.v33i1.27198},
url = {https://doi.org/10.1609/icaps.v33i1.27198},
researchr = {https://researchr.org/publication/KreftBSH23},
cites = {0},
citedby = {0},
pages = {221-226},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
editor = {Sven Koenig and Roni Stern and Mauro Vallati},
publisher = {AAAI Press},
}