16 citations · 32 across the 17 of their papers we have counts for
Showing cs.MAShow all
2 papers · 1 filter
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…
cs.MA2021
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Matt Luckcuck, Rafael C. Cardoso
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent syste…