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]

Abstract

Abstract is missing.