S. Lin, C. Olz, M. Helmert, and P. Bercher, “On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence”, AAAI, vol. 38, no. 18, pp. 20203–20211, Mar. 2024.