- Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint2023 | Faculty of Mathematics and Physics
- Integrating a Discriminative Classifier into Phrase-based and Hierarchical Decoding2014 | Faculty of Mathematics and Physics
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Faculty of Mathematics and Physics