Return to Article Details Generating Explanations for Temporal Logic Planner Decisions Download Download PDF