HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Ábrahám, Erika; Bonakdarpour, Borzoo (Corresponding author)

Cham : Springer (2018)
Contribution to a book, Contribution to a conference proceedings

In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.)

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]

Identifier