A Quantitative Extension of Interval Temporal Logic over Infinite Words.

Laura Bozzelli, Adriano Peron

Browse the full TIME paper archive.