A Novel Parsing-based Approach for Verification of Hierarchical Plans. - Roman Barták; Simona Ondrcková; Adrien Maillard; Gregor Behnke; Pascal Bercher (ICTAI, 2020)

On the Verification of Totally-Ordered HTN Plans. - Roman Barták; Simona Ondrcková; Gregor Behnke; Pascal Bercher (ICTAI, 2021)

Correcting Hierarchical Plans by Action Deletion. - Roman Barták; Simona Ondrcková; Gregor Behnke; Pascal Bercher (KR, 2021)

On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. - Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke (FLAIRS, 2022)

On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. - Songtuan Lin; Gregor Behnke; Simona Ondrcková; Roman Barták; Pascal Bercher (AAAI, 2023)

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. - Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke (FLAIRS, 2023)

Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint. - Kristýna Pantucková; Simona Ondrcková; Roman Barták (FLAIRS, 2023)

On the Impact of Grounding on HTN Plan Verification via Parsing. - Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke (ICAART (3), 2023)

On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. - Simona Ondrcková; Roman Barták (ICTAI, 2023)

Formula- and Memory-based Heuristics In Video-game Pathfinding. - Paul Saunders; Vadim Bulitko; Simona Ondrcková; Roman Barták (CoG, 2024)

Handling Empty Decomposition Methods in Hierarchical Planning. - Simona Ondrcková; Kristýna Pantucková; Roman Barták (FLAIRS, 2024)

Using Earley Parser for Verification of Totally Ordered Hierarchical Plans. - Kristýna Pantucková; Simona Ondrcková; Roman Barták (FLAIRS, 2024)

On Removing Left Recursion from Totally-ordered HTN Domain Models. - Simona Ondrcková; Roman Barták; Vladislav Kubon (FLAIRS, 2025)