STV+ Reductions: Towards practical verification of strategic ability using model reductions
D Kurpiewski, W Pazderski, W Jamroga… - arXiv preprint arXiv …, 2023 - arxiv.org
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Page 1 STV+Reductions: Towards Practical Verification of Strategic Ability Using Model …
Page 1 STV+Reductions: Towards Practical Verification of Strategic Ability Using Model …
Verification of multi-agent properties in electronic voting: A case study
Formal verification of multi-agent systems is hard, both theoretically and in practice. In
particular, studies that use a single verification technique typically show limited efficiency …
particular, studies that use a single verification technique typically show limited efficiency …
STV+ AGR: towards verification of strategic ability using assume-guarantee reasoning
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning |
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …
Practical abstraction for model checking of multi-agent systems
W Jamroga, Y Kim - arXiv preprint arXiv:2202.12016, 2022 - arxiv.org
Model checking of multi-agent systems (MAS) is known to be hard, both theoretically and in
practice. A smart abstraction of the state space may significantly reduce the model, and …
practice. A smart abstraction of the state space may significantly reduce the model, and …
[PDF][PDF] “You Shall not Abstain!” A Formal Study of Forced Participation
In this paper we revisit the idea of participation privacy in secure voting, ie, when public data
does not reveal whether a given voter participated in the election. This is an important …
does not reveal whether a given voter participated in the election. This is an important …
Assume-guarantee verification of strategic ability
Abstract Model checking of strategic abilities is a notoriously hard problem, even more so in
the realistic case of agents with imperfect information. Assume-guarantee reasoning can be …
the realistic case of agents with imperfect information. Assume-guarantee reasoning can be …
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
Voting procedures are designed and implemented by people, for people, and with
significant human involvement. Thus, one should take into account the human factors in …
significant human involvement. Thus, one should take into account the human factors in …
STV+ FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems
D Kurpiewski, M Kamiński, W Jamroga - ECAI 2024, 2024 - ebooks.iospress.nl
In this paper, we present a substantially enhanced version of our software tool STV
(STrategic Verifier), dedicated to strategy synthesis and model checking of strategic abilities …
(STrategic Verifier), dedicated to strategy synthesis and model checking of strategic abilities …
How to measure usable security: Natural strategies in voting protocols
W Jamroga, D Kurpiewski… - Journal of Computer …, 2022 - content.iospress.com
Formal analysis of security is often focused on the technological side of the system. One
implicitly assumes that the users will behave in the right way to preserve the relevant …
implicitly assumes that the users will behave in the right way to preserve the relevant …
STV+ AGR: towards practical verification of strategic ability using assume-guarantee reasoning
arXiv:2203.01033v2 [cs.MA] 27 Oct 2023 Page 1 arXiv:2203.01033v2 [cs.MA] 27 Oct 2023
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee …
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee …