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]
@article{BresolinJSS17,
title = {Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics},
author = {Davide Bresolin and Fernando Jiménez and Gracia Sánchez and Guido Sciavicco},
year = {2017},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/},
researchr = {https://researchr.org/publication/BresolinJSS17},
cites = {0},
citedby = {0},
journal = {Multiple-Valued Logic and Soft Computing},
volume = {28},
number = {2-3},
pages = {217-249},
}