Title Quantitative Assessment of Robotic Swarm Coverage