TY  - RPRT
TI  - The Complexity of Verifying Strategic Abilities in Succinct Multiagent Systems
AU  - Yifan He
AU  - Munyque Mittelmann
AU  - Aniello Murano
AU  - Michael Thielscher
PY  - 2026
UR  - https://arxiv.org/abs/2610.18249
ID  - 2610.18249
ER  -