MTL

Metric Temporal Logic

summary

(nil)

results

• First defined in [1]

references (chronological order)

1. Specifying Real-Time Properties with Metric Temporal Logic (1990)
2. Robustness of temporal logic specifications for continuous-time signals (2009)