Ondrčková, Simona, Roman Barták, Pascal Bercher, and Gregor Behnke. 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.