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