235 citations · 531 across the 38 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 7 cited
Hypercontracts
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli +1
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts…
cs.LO2018★ 1 cited
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…