113 citations · 317 across the 70 of their papers we have counts for
1 paper · 1 filter
Joel Ouaknine, James Worrell
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words is…