Parameter Synthesis for Probabilistic Hyperproperties

(2020) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

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

Identifier

  • REPORT NUMBER: RWTH-2020-05909