On the Verification of Totally-Ordered HTN Plans.

Roman Barták Simona Ondrcková Gregor Behnke Pascal Bercher

Published in: ICTAI (2021)

Keyphrases

totally ordered
partially ordered
partial order
model checking
planning domains
partial ordering
planning problems
htn planning
face verification
hierarchical task network
signature verification
verification method
information retrieval systems
temporal logic
formal methods
planning systems