G. Behnke, D. Höller, and S. Biundo, “This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems”, ICAPS, vol. 27, no. 1, pp. 20-28, Jun. 2017.