Linear Temporal Logic - From Infinite to Finite Horizon.

Lucas M. Tabajara, Moshe Y. Vardi

Browse the full ATVA paper archive.