6 citations · 17 across the 11 of their papers we have counts for
1 paper · 1 filter
Íñ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…