Line Coverage With Multiple Robots: Algorithms and Experiments | IEEE Journals & Magazine | IEEE Xplore