- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Matematicko-fyzikální fakulta
- On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task2022 | Matematicko-fyzikální fakulta
- A Novel Parsing-based Approach for Verification of Hierarchical Plans2020 | Matematicko-fyzikální fakulta
- Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- Correcting Hierarchical Plans by Action Deletion2021 | Matematicko-fyzikální fakulta
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Matematicko-fyzikální fakulta
- Validation of hierarchical plans via parsing of attribute grammars2018 | Matematicko-fyzikální fakulta
- Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint2023 | Matematicko-fyzikální fakulta
- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Matematicko-fyzikální fakulta