Ondrčková, S.; Barták, R.; Bercher, P.; Behnke, G. Lessons Learned from the CYK Algorithm for Parsing-Based Verification of Hierarchical Plans. FLAIRS 2023, 36.