Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps | IEEE Conference Publication | IEEE Xplore