Return to Article Details Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans Download Download PDF