Behnke, G., Höller, D. and Biundo, S. (2017) “This Is a Solution! (. But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems”, Proceedings of the International Conference on Automated Planning and Scheduling, 27(1), pp. 20–28. doi: 10.1609/icaps.v27i1.13811.