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]
@inproceedings{GuoJD13-0, title = {Motion and action planning under LTL specifications using navigation functions and action description language}, author = {Meng Guo and Karl Henrik Johansson and Dimos V. Dimarogonas}, year = {2013}, doi = {10.1109/IROS.2013.6696359}, url = {http://dx.doi.org/10.1109/IROS.2013.6696359}, researchr = {https://researchr.org/publication/GuoJD13-0}, cites = {0}, citedby = {0}, pages = {240-245}, booktitle = {2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013}, publisher = {IEEE}, }