Probabilistic Hyperproperties with Rewards. - Oyendrila Dobe; Lukas Wilke; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (NFM, 2022)