A Model Checker for Interval Temporal Logic over Finite Structures. - Enrico Cominato; Dario Della Monica; Angelo Montanari; Guido Sciavicco (ICTCS/CILC, 2017)

Extracting Interval Temporal Logic Rules: A First Approach. - Davide Bresolin; Enrico Cominato; Simone Gnani; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2018)