Carlo A. Furia, Paola Spoletini. On Relaxing Metric Information in Linear Temporal Logic. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. pages 72-79, IEEE, 2011. [doi]
Abstract is missing.