activity
20072026
most citedOn the decidability and complexity of Metric Temporal Logic over finite words

113 citations · 317 across the 70 of their papers we have counts for

collaborators
Showing 2012 · math.NTShow all

Nothing from them under that filter.

Their other years and fields are still on the left.