Behnke, G.; Steinmetz, M. On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. ICAPS 2024, 34, 20-24.