Article,

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.

, , , and .
J. Multiple Valued Log. Soft Comput., 28 (2-3): 217-249 (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews