Ondrčková, Simona, Roman Barták, Pascal Bercher, and Gregor Behnke. “Lessons Learned from the CYK Algorithm for Parsing-Based Verification of Hierarchical Plans”. The International FLAIRS Conference Proceedings 36, no. 1 (May 8, 2023). Accessed August 19, 2026. https://journals.flvc.org/FLAIRS/article/view/133196.