Parameter Synthesis for Probabilistic Hyperproperties

Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo; Dobe, Oyendrila

(2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

[The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2020]
Seite(n): 12-31

Identifikationsnummern