Tight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence.

Pascal Lauer, Songtuan Lin, Pascal Bercher

Browse the full ICAPS paper archive.