Follow
Damian Kurpiewski
Damian Kurpiewski
Instytut Podstaw Informatyki, Polska Akademia Nauk
Verified email at ipipan.waw.pl - Homepage
Title
Cited by
Cited by
Year
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
322019
Approximate verification of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski
Artificial Intelligence 277, 103172, 2019
312019
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
302018
STV: Model checking for strategies under imperfect information
D Kurpiewski, W Jamroga, ML Knapik
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
262019
Fixpoint approximation of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski
arXiv preprint arXiv:1612.02684, 2016
242016
Multi-valued verification of strategic ability
W Jamroga, B Konikowska, W Penczek
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
23*2016
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
212023
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
122020
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
112020
On domination and control in strategic ability
D Kurpiewski, ML Knapik, W Jamroga
Proceedings of the 18th International Conference on Autonomous Agents and …, 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
92023
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
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
32023
Towards assume-guarantee verification of strategic ability
Ł Mikulski, W Jamroga, D Kurpiewski
arXiv preprint arXiv:2310.15727, 2023
22023
Towards modelling and verification of social explainable AI
D Kurpiewski, W Jamroga, T Sidoruk
arXiv preprint arXiv:2302.01063, 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
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
An approach to model checking ATLir
W Jamroga, M Knapik, D Kurpiewski
CoRR, abs/1612.02684, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20