Return to Article Details On the Expressive Power of Planning Formalisms in Conjunction with LTL Download Download PDF