Building variable resolution occupancy maps assuming unknown but bounded sensor errors