English Metric temporal logic Cited by user Arthur MILCHIOR on 21 Mar 2019 Metric temporal logic (MTL) is a special case of temporal logic. It is an extension of temporal logic in which temporal operators are replaced by time-constrained…