| 2026 | FlAIRS | The Effect of Decomposition Rule Modeling on the Efficiency of Hierarchical Planners. | Roman Bartk, Simona Ondrckov, Kristna Pantuckov |
| 2025 | FlAIRS | On Removing Left Recursion from Totally-ordered HTN Domain Models. | Simona Ondrckov, Roman Bartk, Vladislav Kubon |
| 2024 | FlAIRS | Handling Empty Decomposition Methods in Hierarchical Planning. | Simona Ondrckov, Kristna Pantuckov, Roman Bartk |
| 2024 | FlAIRS | Using Earley Parser for Verification of Totally Ordered Hierarchical Plans. | Kristna Pantuckov, Simona Ondrckov, Roman Bartk |
| 2023 | AAAI | On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. | Songtuan Lin, Gregor Behnke, Simona Ondrckov, Roman Bartk, Pascal Bercher |
| 2023 | FlAIRS | Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2023 | FlAIRS | Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint. | Kristna Pantuckov, Simona Ondrckov, Roman Bartk |
| 2023 | ICAART | On the Impact of Grounding on HTN Plan Verification via Parsing. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2023 | ICTAI | On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. | Simona Ondrckov, Roman Bartk |
| 2022 | FlAIRS | On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2021 | ICTAI | On the Verification of Totally-Ordered HTN Plans. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2021 | KR | Correcting Hierarchical Plans by Action Deletion. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2020 | ICTAI | A Novel Parsing-based Approach for Verification of Hierarchical Plans. | Roman Bartk, Simona Ondrckov, Adrien Maillard, Gregor Behnke, Pascal Bercher |