Showing cs.MAShow all
3 papers · 1 filter
cs.MA2023
Analysing Multi-Agent Systems using 1-safe Petri Nets
Federica Adobbati, Łukasz Mikulski
In the modelling and analysis of large, real systems, the main problem in their efficient processing is the size of the global model. One of the popular approaches that address thi…
cs.MA2023
Assume-Guarantee Verification of Strategic Ability
Łukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
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 of g…
cs.MA2023
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…