2 citations · 2 across the 8 of their papers we have counts for
Showing cs.MAShow all
2 papers · 1 filter
cs.MA2024
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
Angelo Ferrando, Vadim Malvone
The verification of Multi-Agent Systems (MAS) poses a significant challenge. Various approaches and methodologies exist to address this challenge; however, tools that support them…
cs.MA2023
Scalable Verification of Strategy Logic through Three-valued Abstraction
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga +2
The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle…