TY  - RPRT
TI  - A Hyperlogic for Strategies in Stochastic Games (Extended Version)
AU  - Lina Gerlach
AU  - Christof Löding
AU  - Erika Ábrahám
PY  - 2025
UR  - https://arxiv.org/abs/2506.16775
ID  - 2506.16775
ER  -