Perception-Based Temporal Logic Planning in Uncertain Semantic Maps