HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Springer (2018) [Contribution to a book, Contribution to a conference proceedings]

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath

Authors

Authors

Ábrahám, Erika
Bonakdarpour, Borzoo

Identifier