Lin, S. (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), pp. 20203–20211. doi: 10.1609/aaai.v38i18.30000.