On the Decidability of HTN Planning with Task Insertion

Open in new window