Damian Kurpiewski

According to our database, Damian Kurpiewski authored at least 24 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Verification of Social Explainable AI by Variable Abstraction.

Wojciech Jamroga, Yan Kim, Damian Kurpiewski

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Towards Modelling and Verification of Social Explainable AI.

Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Pretty Good Strategies and Where to Find Them.

Wojciech Jamroga, Damian Kurpiewski

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

How to measure usable security: Natural strategies in voting protocols.

Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone

J. Comput. Secur., 2022

STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning.

Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga

CoRR, 2022

Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning.

Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Towards Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

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

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.

Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Multi-valued Verification of Strategic Ability.

Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek

Fundam. Informaticae, 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

Natural Strategic Abilities in Voting Protocols.

Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone

Proceedings of the Socio-Technical Aspects in Security and Trust, 2020

Towards Model Checking of Voting Protocols in Uppaal.

Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

MsATL: A Tool for SAT-Based ATL Satisfiability Checking.

Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Strategic logics for collaborative embedded systems.

Damian Kurpiewski, Diego Marmsoler

SICS Softw.-Intensive Cyber Phys. Syst., 2019

Approximate verification of strategic abilities under imperfect information.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski

Artif. Intell., 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies.

Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

On Domination and Control in Strategic Ability.

Damian Kurpiewski, Michal Knapik, Wojciech Jamroga

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

STV: Model Checking for Strategies under Imperfect Information.

Damian Kurpiewski, Wojciech Jamroga, Michal Knapik

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

2017

Fixpoint Approximation of Strategic Abilities under Imperfect Information.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

An Approach to Model Checking ATLir.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

CoRR, 2016

2015

Approximating Strategic Abilities under Imperfect Information: a Naive Approach.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

CoRR, 2015