Probabilistic Hyperproperties with Nondeterminism

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

Cham, Switzerland : Springer (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.)
Seite(n)/Artikel-Nr.: 518-534

Einrichtungen

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