Area Coverage Using Multiple Aerial Robots With Coverage Redundancy and Collision Avoidance | IEEE Journals & Magazine | IEEE Xplore