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