Natural Strategic Abilities in Voting Protocols

v1v2v3 (latest)

Natural Strategic Abilities in Voting Protocols

24 July 2020

Damian Kurpiewski

ArXiv (abs)PDF HTML

Papers citing "Natural Strategic Abilities in Voting Protocols"

7 / 7 papers shown

Title
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 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 Damian Kurpiewski W. Jamroga Lukasz Mako Lukasz Mikulski Witold Pazderski W. Penczek Teofil Sidoruk 28 7 0 24 Oct 2023
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 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 Damian Kurpiewski Lukasz Mikulski W. Jamroga LRM 13 1 0 02 Mar 2022
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