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

by S Cerrito, M Cialdea Mayer
Venue:Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA’98