A planner fully based on linear time logic (2000)

by M Cialdea Mayer, A Orlandini, G Balestreri, C Limongelli
Venue:Proc. of the 5th Int. Conf. on Artificial Intelligence Planning and Scheduling (AIPS-2000