Meng Guo, Karl H. Johansson, Dimos V. Dimarogonas. Revising motion planning under Linear Temporal Logic specifications in partially known workspaces. In 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013. pages 5025-5032, IEEE, 2013. [doi]
Abstract is missing.