Parameter Synthesis for Probabilistic Hyperproperties.

Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

Browse the full LPAR paper archive.