Bounded Model Search in Linear Temporal Logic and Its Application to Planning.

Serenella Cerrito, Marta Cialdea Mayer

Browse the full TABLEAUX paper archive.