@misc{indiciae4a37f5a10a23,
  title = {Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond \$\textbackslash{}forall\textasciicircum{}*\textbackslash{}exists\textasciicircum{}*\$},
  author = {Sarah Winter and Martin Zimmermann},
  year = {2025},
  url = {https://arxiv.org/abs/2504.08575},
  note = {Source identifier: 2504.08575}
}