Parameter Synthesis for Probabilistic Hyperproperties

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

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

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