- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Faculty of Mathematics and Physics
- A Novel Parsing-based Approach for Verification of Hierarchical Plans2020 | Faculty of Mathematics and Physics
- Validation of hierarchical plans via parsing of attribute grammars2018 | Faculty of Mathematics and Physics
- Validation of Hierarchical Plans via Parsing of Attribute Grammars2018 | Faculty of Mathematics and Physics
- Verifying Nested Workflows with Extra Constraints2013 | Faculty of Mathematics and Physics
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Faculty of Mathematics and Physics
- Correcting Hierarchical Plans by Action Deletion2021 | Faculty of Mathematics and Physics
- Using Attribute Grammars to Model Nested Workflows with Extra Constraints2016 | Faculty of Mathematics and Physics
- Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint2023 | Faculty of Mathematics and Physics
- On verification of nested workflows with extra constraints: From theory to practice2014 | Faculty of Mathematics and Physics
- HTN or State Space - Who Should Do Planning in Your Game?2013 | Faculty of Mathematics and Physics
- Planning and Acting with Temporal and Hierarchical Decomposition Models2014 | Faculty of Mathematics and Physics
- On modeling planning problems in tabled logic programming2015 | Faculty of Mathematics and Physics