ResearchTrend.AI
Natural Strategic Abilities in Voting Protocols
v1v2v3 (latest)

Natural Strategic Abilities in Voting Protocols

W. Jamroga
Damian Kurpiewski
Vadim Malvone
ArXiv (abs)PDFHTML

Papers citing "Natural Strategic Abilities in Voting Protocols"

7 / 7 papers shown
Title
Natural Strategic Ability in Stochastic Multi-Agent Systems
Natural Strategic Ability in Stochastic Multi-Agent Systems
Raphaël Berthon
J. Katoen
Munyque Mittelmann
A. Murano
18
0
0
22 Jan 2024
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Damian Kurpiewski
Witold Pazderski
W. Jamroga
Yan Kim
LRM
23
19
0
27 Oct 2023
Verification of Multi-Agent Properties in Electronic Voting: A Case Study
Verification of Multi-Agent Properties in Electronic Voting: A Case Study
Damian Kurpiewski
W. Jamroga
Lukasz Mako
Lukasz Mikulski
Witold Pazderski
W. Penczek
Teofil Sidoruk
31
7
0
24 Oct 2023
Discounting in Strategy Logic
Discounting in Strategy Logic
Munyque Mittelmann
A. Murano
Laurent Perrussel
16
1
0
24 May 2023
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
W. Jamroga
Peter Y. A. Ryan
Yan Kim
16
1
0
19 Oct 2022
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
Damian Kurpiewski
Lukasz Mikulski
W. Jamroga
LRM
13
1
0
02 Mar 2022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Francesco Belardinelli
W. Jamroga
Vadim Malvone
Munyque Mittelmann
A. Murano
Laurent Perrussel
LRM
16
16
0
24 Jan 2022