- On the Verification of Totally-Ordered HTN Plans2021 | Matematicko-fyzikální fakulta
- Encoding HTN Planning as a Dynamic CSP2005 | Matematicko-fyzikální fakulta
- Kódování hierarchického plánování jako problém splňování omezujících podmínek2005 | Matematicko-fyzikální fakulta
- 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
- Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- Generating Corpora of activities of Daily Living and Towards Measuring the Corpora's Complexity2013 | Matematicko-fyzikální fakulta
- Correcting Hierarchical Plans by Action Deletion2021 | Matematicko-fyzikální fakulta
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Matematicko-fyzikální fakulta
- Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint2023 | Matematicko-fyzikální fakulta
- Validation of hierarchical plans via parsing of attribute grammars2018 | Matematicko-fyzikální fakulta
- HTN or State Space - Who Should Do Planning in Your Game?2013 | Matematicko-fyzikální fakulta
