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]
@inproceedings{GuoJD13,
title = {Revising motion planning under Linear Temporal Logic specifications in partially known workspaces},
author = {Meng Guo and Karl H. Johansson and Dimos V. Dimarogonas},
year = {2013},
doi = {10.1109/ICRA.2013.6631295},
url = {http://dx.doi.org/10.1109/ICRA.2013.6631295},
researchr = {https://researchr.org/publication/GuoJD13},
cites = {0},
citedby = {0},
pages = {5025-5032},
booktitle = {2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013},
publisher = {IEEE},
isbn = {978-1-4673-5641-1},
}