Using linear temporal logic to model and solve planning problems (1998)

by S Cerrito, M C Mayer
Venue:In Artificial Intelligence: Methodology, Systems, and Applications