Gregor Behnke, Daniel Höller, Susanne Biundo
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSGregor Behnke, Daniel Höller, Susanne Biundo
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition