|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Probabilistic Hyperproperties with Rewards | Inproceedings Konferenzbeitrag  | 20-May-2022 |
| 2 | | Wilke, Lukas ; Dobe, Oyendrila ; Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Probabilistic Hyperproperties with Rewards | Konferenzbeitrag Inproceedings | 2022 |
| 3 | | Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | HyperProb: A Model Checker for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2021 |
| 4 | | Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Probabilistic Hyperproperties with Nondeterminism | Konferenzbeitrag Inproceedings | 2020 |
| 5 | | Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Parameter Synthesis for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2020 |
