activity
20152021
most citedChallenges and Recommendations for Preparing HPC Applications for Exascale

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020

Probabilistic Hyperproperties with Nondeterminism

Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour +1

We study the problem of formalizing and checking probabilistic hyperproperties for models that allow nondeterminism in actions. We extend the temporal logic \HyperPCTL, which has b…