Behnke, G. and Steinmetz, M. (2024) “On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification”, Proceedings of the International Conference on Automated Planning and Scheduling, 34(1), pp. 20-24. doi: 10.1609/icaps.v34i1.31456.