STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. - Damian Kurpiewski; Witold Pazderski; Wojciech Jamroga; Yan Kim (AAMAS, 2021)

Verification of Multi-Agent Properties in Electronic Voting: A Case Study. - Wojtek Jamroga; Lukasz Masko; Lukasz Mikulski; Witold Pazderski; Wojciech Penczek; Teofil Sidoruk; Damian Kurpiewski (AiML, 2022)