TY - RPRT TI - Optimal Temporal Logic Planning in Probabilistic Semantic Maps AU - Jie Fu AU - Nikolay Atanasov AU - Ufuk Topcu AU - George J. Pappas PY - 2015 DO - 10.1109/icra.2016.7487554 UR - https://arxiv.org/abs/1510.06469 ID - 1510.06469 ER -