2 papers
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…
cs.LO2025
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems, together with an algorithm for automated reduction of models. The…