| 2026 | KR | Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking. | Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2025 | IJCAI | NatSTV: Towards Verification of Natural Strategic Ability. | Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga |
| 2025 | IJCAI | Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models. | Damian Kurpiewski, Wojciech Jamroga, Yan Kim |
| 2024 | ECAI | STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. | Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga |
| 2024 | ICAART | Scalable Verification of Social Explainable AI by Variable Abstraction. | Wojciech Jamroga, Yan Kim, Damian Kurpiewski |
| 2023 | EUMAS | Pretty Good Strategies and Where to Find Them. | Wojciech Jamroga, Damian Kurpiewski |
| 2023 | ICAART | Towards Modelling and Verification of Social Explainable AI. | Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk |
| 2022 | AiML | 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 |
| 2022 | PRIMA | STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. | Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga |
| 2022 | PRIMA | Assume-Guarantee Verification of Strategic Ability. | Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski |
| 2019 | IJCAI | Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. | Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |