On the Impact of Grounding on HTN Plan Verification via Parsing.

Simona Ondrcková Roman Barták Pascal Bercher Gregor Behnke

Published in: ICAART (3) (2023)

Keyphrases

planning domains
model checking
planning systems
action models
plan recognition
htn planning
natural language
natural language processing
planning problems
hierarchical task network
query processing
state space
unsupervised learning
formal methods
plan execution