2 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Erika Abraham, Borzoo Bonakdarpour
In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent exec…