Coverage and exploration planning with semantically informed maps