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