On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report

Open in new window