3 citations · 3 across the 1 of their papers we have counts for
3 papers
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.LO2020
Analysing Spatial Properties on Neighbourhood Spaces
Sven Linker, Fabio Papacchini, Michele Sevegnani
We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of t…
cs.LO2018
Formalising Sensor Topologies for Target Counting
Sven Linker, Michele Sevegnani
We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm t…