共 4 条
[1]
Planning for temporally extended goals
[J].
Annals of Mathematics and Artificial Intelligence,
1998, 22
:5-27
[2]
FF:The fast-forward planning system. Hoffmann J. The AI Magazine . 2001
[3]
The model checking integrated planning system. Edelkamp S,Helmert M. AI-Magazine(AIMAG) . 2001
[4]
TLPlan. http://www.cs.toronto.edu/fbacchus/tlplan.html . 2006