Probabilistic Hyperproperties with Nondeterminism.

Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

Browse the full ATVA paper archive.