TY  - RPRT
TI  - HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
AU  - Erika Abraham
AU  - Borzoo Bonakdarpour
PY  - 2018
UR  - https://arxiv.org/abs/1804.01853
ID  - 1804.01853
ER  -