Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas. Optimal temporal logic planning in probabilistic semantic maps. In Danica Kragic, Antonio Bicchi, Alessandro De Luca 0001, editors, 2016 IEEE International Conference on Robotics and Automation, ICRA 2016, Stockholm, Sweden, May 16-21, 2016. pages 3690-3697, IEEE, 2016. [doi]
Abstract is missing.