On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.

Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher

Browse the full AAAI paper archive.