G. Behnke and M. Steinmetz, “On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification”, ICAPS, vol. 34, no. 1, pp. 20-24, May 2024.