Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. Introducing Asynchronicity to Probabilistic Hyperproperties. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 47-64, Springer, 2023. [doi]
Abstract is missing.