12 citations · 17 across the 7 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…