Sensor-Based Temporal Logic Motion Planning