Lin, S.; Olz, C.; Helmert, M.; Bercher, P. On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence. AAAI 2024, 38, 20203-20211.