Introducing Asynchronicity to Probabilistic Hyperproperties

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám +2

Probabilistic hyperproperties express probabilistic relations between different executions of systems with uncertain behavior. HyperPCTL allows to formalize such properties, where…