The main features of a planner fully based on LTL (2000)

by M Cialdea Mayer, C Limongelli, A Orlandini, G Balestreri
Venue:Workshop on Model-Theoretic Approaches to Planning (AIPS-2000