Planning with temporally extended goals using heuristic search

ICAPS 2006 - Proceedings, Sixteenth International Conference on Automated Planning and Scheduling

Volumn 2006, Issue , 2006, Pages 342-345

  Baier, Jorge A ^a   McIlraith, Sheila A ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; FINITE AUTOMATA; FORMAL LOGIC; HEURISTIC METHODS; PROBLEM SOLVING;

HEURISTIC SEARCH; NONDETERMINISTIC FINITE AUTOMATON; SEARCH SPACES; TEMPORALLY EXTENDED GOALS (TEGS);

PLANNING;

EID: 33746092878     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. F. Bacchus and F. Kabanza. Planning for temporally extended goals. Ann. of Math Art. Int., 22(1-2):5-27, 1998.
2. J. A. Baier and S. Mcllraith. Planning with first-order temporally extended goals using heuristic search. Forthcoming.
3. S. Cresswell and A. Coddington. Compilation of LTL goal formulas into PDDL. In ECAI-04, pages 985-986. 2004.
4. M. Daniele, F. Giunchglia, and M. Y. Vardi. Improved automata generation for linear temporal logic. In Proc. CAV-99, volume 1633 of LNCS, pages 249-260, Trento, Italy. 1999.
5. K. Etessami and G. J. Holzmann. Optimizing büchi automata. In Proc. CONCUR-2000, pages 153-167, 2000.
6. C. Fritz. Constructing Büchi automata from ltl using simulation relations for alternating büchi automata. In Proc. CIAA 2003, volume 2759 of LNCS, pages 35-48, 2003.
7. R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In PSTV-95, pages 3-18, 1995.
8. Dimitra Giannakopoulou and Klaus Havelund. Automata-based verification of temporal properties on running programs. In Proc. ASE-01, pages 412-416, 2001.
9. J. Hoffmann and B. Nebel. The FF planning system: Fast plan generation through heuristic search. Journal of An. Int. Research, 14:253-302, 2001.
10. F. Kabanza and S. Thiébaux. Search control in planning for temporally extended goals. In Proc. ICAPS-05, 2005.
11. J. Kvarnström and P. Doherty. Talplanner: A temporal logic based forward chaining planner. Ann. of Math Art. Int., 30(1 4): 119-169, 2000.
12. U. Dal Lago, M. Pistore, and P. Traverso. Planning with a language for extended goals. In Proc. AAAI/IAAI, pages 447-454, 2002.
13. E. P. D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. KR-89, pages 324-332, 1989.
14. A. Pnueli. The temporal logic of programs. In Proc. FOCS77, pages 46-57, 1977.
15. J. Rintanen. Incorporation of temporal logic control into plan operators. In Proc. ECAI-00, pages 526-530, 2000.
16. M. Y. Vardi. An automata-theoretic approach to linear temporal logic. In Banff Higher Order Workshop, volume 1043 of LNCS, pages 238-266. Springer, 1995.
17. M. Y. Vardi and Pierre Wolper. Reasoning about infinite computations. Information and Computation, 115(1): 1-37, 1994.
18. R. Waldinger. Achieving several goals simultaneously. In Mach. Intel. S, pages 94-136. Ellis Horwood, 1977.