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 February 24, 2024. https://journals.flvc.org/FLAIRS/article/view/133196.