Probabilistic Hyperproperties with Rewards
Dobe, Oyendrila; Wilke, Lukas; Ábrahám, Erika; Bonakdarpour, Borzoo (Corresponding author); Bartocci, Ezio
Cham : Springer International Publishing (2022)
Contribution to a book, Contribution to a conference proceedings
In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
Page(s)/Article-Nr.: 656-673
Identifier
- DOI: 10.1007/978-3-031-06773-0_35
- RWTH PUBLICATIONS: RWTH-2022-07383