@inproceedings{DBLP:conf/icra/FainekosKP05,
  author       = {Georgios E. Fainekos and
                  Hadas Kress{-}Gazit and
                  George J. Pappas},
  title        = {Temporal Logic Motion Planning for Mobile Robots},
  booktitle    = {Proceedings of the 2005 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain},
  pages        = {2020--2025},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/ROBOT.2005.1570410},
  doi          = {10.1109/ROBOT.2005.1570410},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/FainekosKP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xR6ZjZqW7BN7h9yQc","bibbaseid":"fainekos-kressgazit-pappas-temporallogicmotionplanningformobilerobots-2005","author_short":["Fainekos, G. E.","Kress-Gazit, H.","Pappas, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Georgios","E."],"propositions":[],"lastnames":["Fainekos"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]},{"firstnames":["George","J."],"propositions":[],"lastnames":["Pappas"],"suffixes":[]}],"title":"Temporal Logic Motion Planning for Mobile Robots","booktitle":"Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain","pages":"2020–2025","publisher":"IEEE","year":"2005","url":"https://doi.org/10.1109/ROBOT.2005.1570410","doi":"10.1109/ROBOT.2005.1570410","timestamp":"Sun, 25 Oct 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/icra/FainekosKP05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icra/FainekosKP05,\n author = {Georgios E. Fainekos and\n Hadas Kress{-}Gazit and\n George J. Pappas},\n title = {Temporal Logic Motion Planning for Mobile Robots},\n booktitle = {Proceedings of the 2005 {IEEE} International Conference on Robotics\n and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain},\n pages = {2020--2025},\n publisher = {{IEEE}},\n year = {2005},\n url = {https://doi.org/10.1109/ROBOT.2005.1570410},\n doi = {10.1109/ROBOT.2005.1570410},\n timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icra/FainekosKP05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fainekos, G. E.","Kress-Gazit, H.","Pappas, G. J."],"key":"DBLP:conf/icra/FainekosKP05","id":"DBLP:conf/icra/FainekosKP05","bibbaseid":"fainekos-kressgazit-pappas-temporallogicmotionplanningformobilerobots-2005","role":"author","urls":{"Paper":"https://doi.org/10.1109/ROBOT.2005.1570410"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["temporal","logic","motion","planning","mobile","robots","fainekos","kress-gazit","pappas"],"title":"Temporal Logic Motion Planning for Mobile Robots","year":2005}