TY  - RPRT
TI  - Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
AU  - Bernd Finkbeiner
AU  - Hadar Frenkel
AU  - Tim Rohde
PY  - 2026
UR  - https://arxiv.org/abs/2601.12361
ID  - 2601.12361
ER  -