[1]
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 (May 2023). DOI:https://doi.org/10.32473/flairs.36.133196.