English Timed propositional temporal logic Cited by user Arthur MILCHIOR on 21 Mar 2019 In model checking, a field of computer science, timed propositional temporal logic (TPTL) is an extension of propositional linear temporal logic (LTL) in which variables…
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…