On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification.

Gregor Behnke, Marcel Steinmetz

Browse the full ICAPS paper archive.