Ondrcková, Simona

1 publications

AAAI 2023 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