Safety Metric Temporal Logic Is Fully Decidable.

Jol Ouaknine, James Worrell

Browse the full TACAS paper archive.