Publicacions en col·laboració amb investigadors/es de University of Bologna (1)

2017

  1. Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

    Journal of Multiple-Valued Logic and Soft Computing, Vol. 28, Núm. 2-3, pp. 217-249