Behnke G, Steinmetz M. On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. ICAPS [Internet]. 2024 May 30 [cited 2026 May 16];34(1):20-4. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/31456