Introducing Asynchronicity to Probabilistic Hyperproperties

Lecture notes in computer science, pp. 47–64

Authors 5

1. Lina Gerlach corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Oyendrila Dobe

   Michigan State University

   Affiliation as printed

   Michigan State University, East Lansing, MI, USA

3. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

4. Ezio Bartocci

   TU Wien

   Affiliation as printed

   Technische Universität Wien, Vienna, Austria

5. Borzoo Bonakdarpour

   Michigan State University

   Affiliation as printed

   Michigan State University, East Lansing, MI, USA