A Hyperlogic for Strategies in Stochastic Games (Extended Version)

Lina Gerlach, Christof Löding, Erika Ábrahám

We propose a probabilistic hyperlogic called HyperSt${}^2$ that can express hyperproperties of strategies in turn-based stochastic games. To the best of our knowledge, HyperSt${}^2$ is…