Simona Ondrcková

13 papers A* 2B 3C 1Misc 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 Misc conf
On Removing Left Recursion from Totally-ordered HTN Domain Models.
FLAIRS
Simona Ondrcková, Roman Barták, Vladislav Kubon
2024 C conf
Formula- and Memory-based Heuristics In Video-game Pathfinding.
CoG
Paul Saunders, Vadim Bulitko, Simona Ondrcková, Roman Barták
2024 Misc conf
Handling Empty Decomposition Methods in Hierarchical Planning.
FLAIRS
Simona Ondrcková, Kristýna Pantucková, Roman Barták
2024 Misc conf
Using Earley Parser for Verification of Totally Ordered Hierarchical Plans.
FLAIRS
Kristýna Pantucková, Simona Ondrcková, Roman Barták
2023 Misc conf
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans.
FLAIRS
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2023 B conf
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods.
ICTAI
Simona Ondrcková, Roman Barták
2023 A* conf
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.
AAAI
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
2023 — conf
On the Impact of Grounding on HTN Plan Verification via Parsing.
ICAART (3)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2023 Misc conf
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint.
FLAIRS
Kristýna Pantucková, Simona Ondrcková, Roman Barták
2022 Misc conf
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.
FLAIRS
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2021 A* conf
Correcting Hierarchical Plans by Action Deletion.
KR
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
2021 B conf
On the Verification of Totally-Ordered HTN Plans.
ICTAI
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
2020 B conf
A Novel Parsing-based Approach for Verification of Hierarchical Plans.
ICTAI
Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher