TY  - RPRT
TI  - Strategy Logic, Imperfect Information, and Hyperproperties
AU  - Raven Beutner
AU  - Bernd Finkbeiner
PY  - 2025
UR  - https://arxiv.org/abs/2510.03952
ID  - 2510.03952
ER  -