most citedGenoM3 Templates: from Middleware Independence to Formal Models Synthesis

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."

Mohammed Aristide Foughali

The expressiveness of Metric Temporal Logic (MTL) has been extensively studied throughout the last two decades. In particular, it has been shown that the \emph{interval-based} sema…