TY  - RPRT
TI  - Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
AU  - Sarah Winter
AU  - Martin Zimmermann
PY  - 2025
UR  - https://arxiv.org/abs/2504.08575
ID  - 2504.08575
ER  -