Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.

Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco

Browse the full TIME paper archive.