Lin, S. et al. 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 (Mar. 2024), 20203–20211. DOI:https://doi.org/10.1609/aaai.v38i18.30000.