A Metric for Linear Temporal Logic

Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo +2

We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the r…