Ondrčková, S., R. Barták, P. Bercher, and G. Behnke. “Lessons Learned from the CYK Algorithm for Parsing-Based Verification of Hierarchical Plans”. The International FLAIRS Conference Proceedings, vol. 36, no. 1, May 2023, doi:10.32473/flairs.36.133196.