Enabling Methodologies for Optimal Coverage by Multiple Autonomous Industrial Robots