1 paper · 1 filter
Lina Gerlach, Tobias Winkler, Erika Ábrahám +2
Probabilistic hyperproperties describe probabilistic relations between multiple sets of executions in a stochastic system. Prominent examples include information-theoretic characte…