TY  - RPRT
TI  - On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
AU  - Raven Beutner
AU  - Bernd Finkbeiner
PY  - 2025
DO  - 10.34727/2025/isbn.978-3-85448-084-6_8
UR  - https://arxiv.org/abs/2510.03942
ID  - 2510.03942
ER  -