25 citations · 56 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Model Checking Quantitative Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Hyperproperties are properties of sets of computation traces. In this paper, we study quantitative hyperproperties, which we define as hyperproperties that express a bound on the n…
cs.LO2019★ 5 cited
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Hadas Kress-Gazit, Hazem Torfah
In formal synthesis of reactive systems an implementation of a system is automatically constructed from its formal specification. The great advantage of synthesis is that the resul…