Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi. Towards manipulation planning with temporal logic specifications. In IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015. pages 346-352, IEEE, 2015. [doi]
Abstract is missing.