Cooperative Coverage by Multiple Robots with Contact Sensors | IEEE Conference Publication | IEEE Xplore