Area coverage is an important task for mobile robots, with many real-world applications. Motivated by potential efficiency and robustness improvements, there is growing interest in the use of multiple robots in coverage. Previous investigations of multi-robot coverage algorithms focused on the improved efficiency gained from the use of multiple robots, but did not formally addressed the potenti...