Partially Punctual Metric Temporal Logic is Decidable.

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

Browse the full TIME paper archive.