Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation

Dario Della Monica

Angelo Montanari

Aniello Murano

Guido Sciavicco