Infinite Plans for LTL Goals Using a Classical Planner

@inproceedings{Patrizi2011InfinitePF,
  title={Infinite Plans for LTL Goals Using a Classical Planner},
  author={Fabio Patrizi and Hector Geffner},
  year={2011}
}
Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this… CONTINUE READING