- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Matematicko-fyzikální fakulta
- On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm2023 | 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
