Provable Methods for Searching with an Imperfect Sensor