S. Ondrčková, R. Barták, P. Bercher, and G. Behnke, “Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans”, FLAIRS, vol. 36, no. 1, May 2023.