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