Introducing Asynchronicity to Probabilistic Hyperproperties

Gerlach, Lina (Corresponding author); Dobe, Oyendrila (Corresponding author); Ábrahám, Erika (Corresponding author); Bartocci, Ezio (Corresponding author); Bonakdarpour, Borzoo (Corresponding author)

(2023)
Preprint

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]