Follow
Damian Kurpiewski
Damian Kurpiewski
Instytut Podstaw Informatyki, Polska Akademia Nauk
Verified email at ipipan.waw.pl - Homepage
Title
Cited by
Cited by
Year
Approximate verification of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski
Artificial Intelligence 277, 103172, 2019
342019
Strategy logic with simple goals: Tractable reasoning about strategies
F Belardinelli, W Jamroga, V Malvone, A Murano
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
332019
Model checking the SELENE e-voting protocol in multi-agent logics
W Jamroga, M Knapik, D Kurpiewski
International Joint Conference on Electronic Voting, 100-116, 2018
312018
STV: Model checking for strategies under imperfect information
D Kurpiewski, W Jamroga, ML Knapik
18th International Conference on Autonomous Agents and Multiagent Systems …, 2019
292019
STV+ Reductions: Towards practical verification of strategic ability using model reductions
D Kurpiewski, W Pazderski, W Jamroga, Y Kim
arXiv preprint arXiv:2310.18418, 2023
262023
Multi-valued verification of strategic ability
W Jamroga, B Konikowska, D Kurpiewski, W Penczek
Fundamenta Informaticae 175 (1-4), 207-251, 2020
252020
Fixpoint approximation of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski
arXiv preprint arXiv:1612.02684, 2016
242016
Natural strategic abilities in voting protocols
W Jamroga, D Kurpiewski, V Malvone
International Workshop on Socio-Technical Aspects in Security and Trust, 45-62, 2020
132020
Towards Model Checking of Voting Protocols in Uppaal
W Jamroga, Y Kim, D Kurpiewski, PYA Ryan
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020 …, 2020
122020
On domination and control in strategic ability
D Kurpiewski, ML Knapik, W Jamroga
18th International Conference on Autonomous Agents and Multiagent Systems …, 2019
112019
MsATL: A tool for SAT-based ATL satisfiability checking
A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ...
arXiv preprint arXiv:2310.16519, 2023
102023
Verification of multi-agent properties in electronic voting: A case study
D Kurpiewski, W Jamroga, Ł Maśko, Ł Mikulski, W Pazderski, W Penczek, ...
arXiv preprint arXiv:2310.15789, 2023
72023
Towards modelling and verification of social explainable AI
D Kurpiewski, W Jamroga, T Sidoruk
arXiv preprint arXiv:2302.01063, 2023
42023
STV+ AGR: towards verification of strategic ability using assume-guarantee reasoning
D Kurpiewski, Ł Mikulski, W Jamroga
International Conference on Principles and Practice of Multi-Agent Systems …, 2022
42022
Towards assume-guarantee verification of strategic ability
Ł Mikulski, W Jamroga, D Kurpiewski
arXiv preprint arXiv:2310.15727, 2023
22023
Assume-guarantee verification of strategic ability
Ł Mikulski, W Jamroga, D Kurpiewski
International Conference on Principles and Practice of Multi-Agent Systems …, 2022
22022
How to measure usable security: Natural strategies in voting protocols
W Jamroga, D Kurpiewski, V Malvone
Journal of Computer Security 30 (3), 381-409, 2022
22022
Scalable Verification of Social Explainable AI by Variable Abstraction.
W Jamroga, Y Kim, D Kurpiewski
ICAART (1), 149-158, 2024
12024
STV+ AGR: towards practical verification of strategic ability using assume-guarantee reasoning
D Kurpiewski, Ł Mikulski, W Jamroga
arXiv preprint arXiv:2203.01033, 2022
12022
Strategic logics for collaborative embedded systems: Specification and verification of collaborative embedded systems using strategic logics
D Kurpiewski, D Marmsoler
SICS Software-Intensive Cyber-Physical Systems 34 (4), 201-212, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20