Torfah, 2020. Probabilistic Hyperproperties of Markov Decision Processes.