팔로우
Damian Kurpiewski
Damian Kurpiewski
Instytut Podstaw Informatyki, Polska Akademia Nauk
ipipan.waw.pl의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
232018
Fixpoint approximation of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski
arXiv preprint arXiv:1612.02684, 2016
232016
Approximate verification of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski
Artificial Intelligence 277, 103172, 2019
192019
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
162019
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
122019
STV+ Reductions: Towards practical verification of strategic ability using model reductions
D Kurpiewski, W Pazderski, W Jamroga, Y Kim
Proceedings of AAMAS, 1770-1772, 2021
52021
On domination and control in strategic ability
D Kurpiewski, ML Knapik, W Jamroga
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
52019
Towards Model Checking of Voting Protocols in Uppaal
W Jamroga, Y Kim, D Kurpiewski, PYA Ryan
International Joint Conference on Electronic Voting, 129-146, 2020
42020
MsATL: A tool for SAT-based ATL satisfiability checking
A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ...
Proceedings of 19th International Conference on Autonomous Agents and …, 2020
42020
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
32020
Multi-valued verification of strategic ability
W Jamroga, B Konikowska, D Kurpiewski, W Penczek
Fundamenta Informaticae 175 (1-4), 207-251, 2020
22020
Towards Assume-Guarantee Verification of Strategic Ability
Ł Mikulski, W Jamroga, D Kurpiewski
Proceedings of the 21st International Conference on Autonomous Agents and …, 2022
12022
An approach to model checking ATLir
W Jamroga, M Knapik, D Kurpiewski
CoRR, abs/1612.02684, 2016
12016
Approximating strategic abilities under imperfect information: a naive approach
W Jamroga, M Knapik, D Kurpiewski
arXiv preprint arXiv:1510.06587, 2015
12015
STV+ AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
D Kurpiewski, Ł Mikulski, W Jamroga
arXiv preprint arXiv:2203.01033, 2022
2022
How to measure usable security: Natural strategies in voting protocols
W Jamroga, D Kurpiewski, V Malvone
Journal of Computer Security, 1-29, 2022
2022
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
W Jamroga, Y Kim, D Kurpiewski, PYA Ryan
arXiv preprint arXiv:2007.12412, 2020
2020
Strategic logics for collaborative embedded systems
D Kurpiewski, D Marmsoler
SICS Software-Intensive Cyber-Physical Systems 34 (4), 201-212, 2019
2019
Trudne Tematy w Najprostszy Sposób - Rekurencja
D Kurpiewski, K Skowronek, M Firszt
Informatyka w Edukacji XV, 2018
2018
Trudne Tematy w Najprostszy Sposób
D Kurpiewski, K Skowronek, M Firszt
Informatyka w Edukacji XV, 2018
2018
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20