Accepted Paper by Lina Gerlach

Congratulations to Lina Gerlach (together with Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour) for the accepted paper "Introducing Asynchronicity to Probabilistic Hyperproperties" for the 20th International Conference on Quantitative Evaluation of SysTems (QEST 2023).