No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.
['Carlo A. Furia', 'Matteo Rossi']
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.