3 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…