Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim. STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. In Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé, editors, AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. pages 1770-1772, ACM, 2021. [doi]