%0 Conference Paper %1 conf/iros/GuoJD13 %A Guo, Meng %A Johansson, Karl Henrik %A Dimarogonas, Dimos V. %B IROS %D 2013 %I IEEE %K %P 240-245 %T Motion and action planning under LTL specifications using navigation functions and action description language. %U http://dblp.uni-trier.de/db/conf/iros/iros2013.html#GuoJD13

@inproceedings{conf/iros/GuoJD13, added-at = {2023-12-13T01:51:59.000+0100}, author = {Guo, Meng and Johansson, Karl Henrik and Dimarogonas, Dimos V.}, biburl = {https://www.bibsonomy.org/bibtex/2bcadd87ab62e955ac4604ba0303f470c/admin}, booktitle = {IROS}, crossref = {conf/iros/2013}, ee = {https://www.wikidata.org/entity/Q60432118}, interhash = {778daa33d7967f58d3fcf02b97177183}, intrahash = {bcadd87ab62e955ac4604ba0303f470c}, keywords = {}, pages = {240-245}, publisher = {IEEE}, timestamp = {2023-12-13T01:51:59.000+0100}, title = {Motion and action planning under LTL specifications using navigation functions and action description language.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2013.html#GuoJD13}, year = 2013 }