27 citations · 81 across the 20 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.MA2021★ 4 cited
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information
Angelo Ferrando, Vadim Malvone
In logics for the strategic reasoning the main challenge is represented by their verification in contexts of imperfect information and perfect recall. In this work, we show a techn…
cs.LO2021★ 4 cited
Towards Partial Monitoring: It is Always too Soon to Give Up
Angelo Ferrando, Rafael C. Cardoso
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour i…
cs.MA2021★ 3 cited
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +3
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used…