Skip navigation
Skip navigation

LTL Goal Specifications Revisited

Bauer, Andreas; Haslum, Patrik


The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the semantics of LTL is defined wrt. infinite state sequences, while a finite plan generates only a finite trace. This necessitates the use of a finite trace semantics for LTL. A common approach is to evaluate LTL formulae on an infinite extension of the finite trace, obtained by infinitely repeating the last state. We study...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Proceedings of the European Conference on Artificial Intelligence (ECAI-2010)
DOI: 10.3233/978-1-60750-606-5-881


File Description SizeFormat Image
01_Bauer_LTL_Goal_Specifications_2010.pdf272.6 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator