Parameter Synthesis for Probabilistic Hyperproperties

(2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-2020-05909