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]
No references recorded for this publication.
No citations of this publication recorded.