[1]
Behnke, G., Höller, D. and Biundo, S. 2015. On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. Proceedings of the International Conference on Automated Planning and Scheduling. 25, 1 (Apr. 2015), 25-33. DOI:https://doi.org/10.1609/icaps.v25i1.13728.