3 citations · 3 across the 2 of their papers we have counts for
2 papers
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…
cs.RO2018★ 3 cited
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis
Mohammed Foughali, Félix Ingrand, Anthony Mallet
GenoM is an approach to develop robotic software components, which can be controlled, and assembled to build complex applications. Its latest version GenoM3, provides a template me…