Compiling HTN Plan Verification Problems into HTN Planning Problems.

Sat, 01 Jan 2022 00:00:00 +0100

Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke:
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022: 145-150