Return to Article Details On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification Download Download PDF