10 citations · 22 across the 13 of their papers we have counts for
1 paper · 2 filters
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…