Behnke G, Höller D, Biundo S. This Is a Solution! (. But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS [Internet]. 2017 Jun. 5 [cited 2026 May 25];27(1):20-8. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13811