Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco. Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. Multiple-Valued Logic and Soft Computing, 28(2-3):217-249, 2017. [doi]
Abstract is missing.