Checking the Correctness of Mission Plans.

John A. Allen Renuka Shankar

Published in: ICTAI (1993)

Keyphrases

plan recognition
plan generation
efficiency gains
artificial intelligence
case study
planning problems
data structure
dynamic programming
automated planning
plan quality