Probably approximately correct coverage for robots with uncertainty. - Colin Das; Aaron T. Becker; Timothy Bretl (IROS, 2011)