On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.

Simona Ondrcková Roman Barták Pascal Bercher Gregor Behnke

Published in: FLAIRS (2022)

Keyphrases

natural language processing
model checking
plan recognition
search algorithm
unsupervised learning
signature verification
plan library
evolutionary algorithm
hierarchical structure
coarse to fine
partially ordered
planning systems
planning tasks
means ends analysis