Return to Article Details Tight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence Download Download PDF