Expressive Completeness for Metric Temporal Logic.

Paul Hunter, Jol Ouaknine, James Worrell

Browse the full LICS paper archive.