LTL goal specifications revisited

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 881-886

  Bauer, Andreas ^a   Haslum, Patrik ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

TEMPORAL LOGIC;

CONTROL CONSTRAINT; FINITE TRACES; GOAL SPECIFICATIONS; INFINITE-STATE; LINEAR TEMPORAL LOGIC; SATISFIABILITY PROBLEMS; SEARCH CONTROL; STATE SEQUENCES; TEMPORAL LOGIC FORMULA; TRACE SEMANTICS;

SEMANTICS;

EID: 77956032505     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-881     Document Type: Conference Paper

References (17)

1. F. Bacchus and F. Kabanza, 'Using temporal logic to control search in a forward chaining planner', in Proc. 3rd European Worksh. on Planning (EWSP'95), (1995).
2. J. Baier and S. McIlraith, 'Planning with first-order temporally extended goals using heuristic search', in Proc. 21st Nntl. Conf. on AI (AAAI'06), (2006).
3. A. Bauer, M. Leucker, and C. Schallhart, 'Comparing LTL semantics for runtime verification', Journal of Logic and Computation, (2009). In print. Pre-print available online.
4. T. Bylander, 'Complexity results for planning', in Proc. 12th Intl. Joint Conf. on Artif. Int. (IJCAI'91), pp. 274-279, (1991).
5. S. Colin and L. Mariani, 'Run-time verification', in Model-Based Testing of Reactive Systems 3472 of LNCS, pp. 525-555, (2004).
6. S. Cresswell and A. Coddington, 'Compilation of LTL goal formulas into PDDL', in Proc. of the 15th European Conf. on Artif. Int., (ECAI'04), (2004).
7. S. Edelkamp, 'On the compilation of plan constraints and p', in Proc. of the 16th Intl. Conf. on Automated Planning and Scheduling (ICAPS'06), pp. 374-377, (2006).
8. A. Gerevini, P. Haslum, D. Long, A. Saetti, and Y. Dimopoulos, 'Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners', Artif. Int., 173(5-6), 619-668, (2008).
9. A. Gerevini and D. Long, 'Plan constraints and p in PDDL3', Report RT 2005-2008-47, University of Brescia, Italy, (2005).
10. F. Kabanza and S. Thíebaux, 'Search control in planning for temporally extended goals', in Proc. of the 15th Intl. Conf. on Automated Planning and Scheduling (ICAPS'05), pp. 130-139, (2005).
11. J. Koehler and K. Schuster, 'Elevator control as a planning problem', in Proc. 5th Intl. Conf. on Artif. Int. Planning and Scheduling (AIPS'00), pp. 331-338, (2000).
12. J. Kvarnström, 'Applying domain analysis techniques for domaindependent control in TALplanner', in Proc. 6th Intl. Conf. on Artif. Int. Planning and Scheduling (AIPS'02), pp. 101-110, (2002).
13. Z. Manna and A. Pnuelli, Temporal Verification of Reactive Systems: Safety, Springer, 1995.
14. A. Pnueli, 'The temporal logic of programs', in Proc. of the 18th Symp. on Found. of Comp. Sci. (FOCS'77), pp. 46-57, (1977).
15. G. Rosu and K. Havelund, 'Rewriting-based techniques for runtime verification.', Automated Software Engineering, 12(2), 151-197, (2005).
16. K. Rozier and M. Vardi, 'LTL satisfiability checking', in Proc. 14th Intl. SPIN Worksh. (SPIN'07) 595 of LNCS, pp. 149-167, (2007).
17. S. Thíebaux, C. Gretton, J. Slaney, D. Price, and F. Kabanza, 'Decisiontheoretic planning with non-markovian rewards', Journal of AI Research, 25, 17-74, (2006).