TY  - RPRT
TI  - STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
AU  - Damian Kurpiewski
AU  - Witold Pazderski
AU  - Wojciech Jamroga
AU  - Yan Kim
PY  - 2023
DO  - 10.5555/3463952.3464232
UR  - https://arxiv.org/abs/2310.18418
ID  - 2310.18418
ER  -