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]

Authors

Meng Guo

This author has not been identified. Look up 'Meng Guo' in Google

Karl H. Johansson

This author has not been identified. Look up 'Karl H. Johansson' in Google

Dimos V. Dimarogonas

This author has not been identified. Look up 'Dimos V. Dimarogonas' in Google