Showing cs.MAShow all
2 papers · 1 filter
cs.MA2025
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
Dilian Gurov, Filip Jamroga, Wojciech Jamroga +4
Model checking of strategic abilities for agents with memory is a notoriously hard problem, and very few attempts have been made to tackle it. In this paper, we present two importa…
cs.MA2025
Verification of Multi-Agent Properties in Electronic Voting: A Case Study
Damian Kurpiewski, Wojciech Jamroga, Åukasz MaÅko +4
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 effic…