Graduiertenkolleg UnRAVeL
Promotionsstudentin
Adresse
Gebäude: Informatikzentrum
Raum: 4228
Ahornstr. 55
52056 Aachen
| Promotionsprojekt |
|---|
| Probabilistic Hyperproperties |
| Engagement |
| Mitglied des Gender- & Diversity Teams |
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] Introducing Asynchronicity to Probabilistic Hyperproperties In: Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Nils Jansen, Mirco Tribastone, 47-64, 2023 [DOI: 10.1007/978-3-031-43835-6_4] | Gerlach, Lina (Corresponding author) Dobe, Oyendrila Ábrahám, Erika Bartocci, Ezio Bonakdarpour, Borzoo |