Damian Kurpiewski

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 34

Top Topics

Top Venues

Publications

Wojciech Jamroga, Yan Kim, Damian Kurpiewski
Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) (2024)
Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS (2024)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Towards Assume-Guarantee Verification of Strategic Ability. CoRR (2023)
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
Towards Modelling and Verification of Social Explainable AI. ICAART (1) (2023)
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR (2023)
Wojciech Jamroga, Damian Kurpiewski
Pretty Good Strategies and Where to Find Them. EUMAS (2023)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. CoRR (2023)
Wojciech Jamroga, Damian Kurpiewski
Pretty Good Strategies and Where to Find Them. CoRR (2023)
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
Towards Modelling and Verification of Social Explainable AI. CoRR (2023)
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR (2023)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR (2023)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Assume-Guarantee Verification of Strategic Ability. CoRR (2023)
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA (2022)
Wojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML (2022)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Assume-Guarantee Verification of Strategic Ability. PRIMA (2022)
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR (2022)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS (2022)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30 (3) (2022)
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS (2021)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols. STAST (2020)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID (2020)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols. CoRR (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR (2020)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175 (1-4) (2020)
Damian Kurpiewski, Wojciech Jamroga, Michal Knapik
STV: Model Checking for Strategies under Imperfect Information. AAMAS (2019)
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
On Domination and Control in Strategic Ability. BNAIC/BENELEARN (2019)
Damian Kurpiewski, Diego Marmsoler
Strategic logics for collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34 (4) (2019)
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI (2019)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019)
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
On Domination and Control in Strategic Ability. AAMAS (2019)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID (2018)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS (2017)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
An Approach to Model Checking ATLir. CoRR (2016)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR (2015)