Using Linear Temporal Logic to Model and Solve Planning Problems.

Serenella Cerrito, Marta Cialdea Mayer

Browse the full AIMSA paper archive.