Ondrčková, S., Barták, R., Bercher, P., & Behnke, G. (2023). Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. The International FLAIRS Conference Proceedings, 36(1). https://doi.org/10.32473/flairs.36.133196