Login / Signup
Witold Pazderski
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Computational Model
Blind Signature
Theoretical Analysis
Electronic Voting
Top Venues
CoRR
AAMAS
AiML
</>
Publications
</>
Damian Kurpiewski
,
Witold Pazderski
,
Wojciech Jamroga
,
Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
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)
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)
Damian Kurpiewski
,
Witold Pazderski
,
Wojciech Jamroga
,
Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
AAMAS
(2021)