Yiannis Kantaros, George J. Pappas. Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019. pages 4127-4132, IEEE, 2019. [doi]
Abstract is missing.