Mattmueller, RobertRintanen, Jussi2015-12-08January 6-http://hdl.handle.net/1885/29484Planning for temporally extended goals (TEGs) expressed as formulae of Linear-time Temporal Logic (LTL) is a proper generalization of classical planning, not only allowing to specify properties of a goal state but of the whole plan execution. AdditionallyKeywords: Classical planning; Domain specific; Linear time temporal logic; LTL model-checking; Partial ordering; Planning problem; Propositional satisfiability; SAT-based planning; Artificial intelligence; Problem solving20072016-02-24