Approximating Strategic Abilities under Imperfect Information: a Naive Approach. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (CoRR, 2015)

An Approach to Model Checking ATLir. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (CoRR, 2016)

Fixpoint Approximation of Strategic Abilities under Imperfect Information. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (AAMAS, 2017)

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (E-Vote-ID, 2018)

STV: Model Checking for Strategies under Imperfect Information. - Damian Kurpiewski; Wojciech Jamroga; Michal Knapik (AAMAS, 2019)

On Domination and Control in Strategic Ability. - Damian Kurpiewski; Michal Knapik; Wojciech Jamroga (BNAIC/BENELEARN, 2019)

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. - Francesco Belardinelli; Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone; Aniello Murano (IJCAI, 2019)

Approximate verification of strategic abilities under imperfect information. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski; Lukasz Mikulski (Artif. Intell., 2019)

Strategic logics for collaborative embedded systems. - Damian Kurpiewski; Diego Marmsoler (SICS Softw.-Intensive Cyber Phys. Syst., 2019)

MsATL: A Tool for SAT-Based ATL Satisfiability Checking. - Artur Niewiadomski 001; Magdalena Kacprzak; Damian Kurpiewski; Michal Knapik; Wojciech Penczek; Wojciech Jamroga (AAMAS, 2020)

Towards Model Checking of Voting Protocols in Uppaal. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski; Peter Y. A. Ryan (E-VOTE-ID, 2020)

Natural Strategic Abilities in Voting Protocols. - Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone (STAST, 2020)

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski; Peter Y. A. Ryan (CoRR, 2020)

Multi-valued Verification of Strategic Ability. - Wojciech Jamroga; Beata Konikowska; Damian Kurpiewski; Wojciech Penczek (Fundam. Informaticae, 2020)

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)

Towards Assume-Guarantee Verification of Strategic Ability. - Lukasz Mikulski; Wojciech Jamroga; Damian Kurpiewski (AAMAS, 2022)

STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. - Damian Kurpiewski; Lukasz Mikulski; Wojciech Jamroga (PRIMA, 2022)

Assume-Guarantee Verification of Strategic Ability. - Lukasz Mikulski; Wojciech Jamroga; Damian Kurpiewski (PRIMA, 2022)

STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. - Damian Kurpiewski; Lukasz Mikulski; Wojciech Jamroga (CoRR, 2022)

How to measure usable security: Natural strategies in voting protocols. - Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone (J. Comput. Secur., 2022)

Pretty Good Strategies and Where to Find Them. - Wojciech Jamroga; Damian Kurpiewski (EUMAS, 2023)

Towards Modelling and Verification of Social Explainable AI. - Damian Kurpiewski; Wojciech Jamroga; Teofil Sidoruk (ICAART (1), 2023)

STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. - Mateusz Kaminski; Damian Kurpiewski; Wojciech Jamroga (AAMAS, 2024)

STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. - Damian Kurpiewski; Mateusz Kaminski; Wojciech Jamroga (ECAI, 2024)

Scalable Verification of Social Explainable AI by Variable Abstraction. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski (ICAART (1), 2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. - Dilian Gurov; Filip Jamroga; Wojciech Jamroga; Mateusz Kaminski; Damian Kurpiewski; Wojciech Penczek; Teofil Sidoruk (CoRR, 2024)