Motion and action planning under LTL specifications using navigation functions and action description language

Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas. Motion and action planning under LTL specifications using navigation functions and action description language. In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013. pages 240-245, IEEE, 2013. [doi]

Authors

Meng Guo

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

Karl Henrik Johansson

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

Dimos V. Dimarogonas

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