Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

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]

Possibly Related Publications

The following publications are possibly variants of this publication: