Lin, S., Olz, C., Helmert, M., & Bercher, P. (2024). On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence. Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), 20203–20211. https://doi.org/10.1609/aaai.v38i18.30000