%0 Conference Paper %1 conf/icra/HeLKV15 %A He, Keliang %A Lahijanian, Morteza %A Kavraki, Lydia E. %A Vardi, Moshe Y. %B ICRA %D 2015 %I IEEE %K dblp %P 346-352 %T Towards manipulation planning with temporal logic specifications. %U http://dblp.uni-trier.de/db/conf/icra/icra2015.html#HeLKV15 %@ 978-1-4799-6923-4

@inproceedings{conf/icra/HeLKV15, added-at = {2018-11-02T00:00:00.000+0100}, author = {He, Keliang and Lahijanian, Morteza and Kavraki, Lydia E. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/25894f7b5235c07405b0e4215c3cf80f6/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2015}, ee = {https://doi.org/10.1109/ICRA.2015.7139022}, interhash = {0ddc83f923242e099059b7db79383371}, intrahash = {5894f7b5235c07405b0e4215c3cf80f6}, isbn = {978-1-4799-6923-4}, keywords = {dblp}, pages = {346-352}, publisher = {IEEE}, timestamp = {2019-10-17T13:12:36.000+0200}, title = {Towards manipulation planning with temporal logic specifications.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2015.html#HeLKV15}, year = 2015 }