@misc{indiciae987e000aa081,
  title = {On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information},
  author = {Raven Beutner and Bernd Finkbeiner},
  year = {2025},
  doi = {10.34727/2025/isbn.978-3-85448-084-6\_8},
  url = {https://arxiv.org/abs/2510.03942},
  note = {Source identifier: 2510.03942}
}