@inproceedings{DBLP:conf/iros/RamanFK12,
  author       = {Vasumathi Raman and
                  Cameron Finucane and
                  Hadas Kress{-}Gazit},
  title        = {Temporal logic robot mission planning for slow and fast actions},
  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
                  2012},
  pages        = {251--256},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/IROS.2012.6385935},
  doi          = {10.1109/IROS.2012.6385935},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/RamanFK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WL92C9wvzcK5QqsFE","bibbaseid":"raman-finucane-kressgazit-temporallogicrobotmissionplanningforslowandfastactions-2012","author_short":["Raman, V.","Finucane, C.","Kress-Gazit, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vasumathi"],"propositions":[],"lastnames":["Raman"],"suffixes":[]},{"firstnames":["Cameron"],"propositions":[],"lastnames":["Finucane"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"title":"Temporal logic robot mission planning for slow and fast actions","booktitle":"2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012","pages":"251–256","publisher":"IEEE","year":"2012","url":"https://doi.org/10.1109/IROS.2012.6385935","doi":"10.1109/IROS.2012.6385935","timestamp":"Wed, 16 Oct 2019 14:14:51 +0200","biburl":"https://dblp.org/rec/conf/iros/RamanFK12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iros/RamanFK12,\n author = {Vasumathi Raman and\n Cameron Finucane and\n Hadas Kress{-}Gazit},\n title = {Temporal logic robot mission planning for slow and fast actions},\n booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and\n Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,\n 2012},\n pages = {251--256},\n publisher = {{IEEE}},\n year = {2012},\n url = {https://doi.org/10.1109/IROS.2012.6385935},\n doi = {10.1109/IROS.2012.6385935},\n timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},\n biburl = {https://dblp.org/rec/conf/iros/RamanFK12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Raman, V.","Finucane, C.","Kress-Gazit, H."],"key":"DBLP:conf/iros/RamanFK12","id":"DBLP:conf/iros/RamanFK12","bibbaseid":"raman-finucane-kressgazit-temporallogicrobotmissionplanningforslowandfastactions-2012","role":"author","urls":{"Paper":"https://doi.org/10.1109/IROS.2012.6385935"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["temporal","logic","robot","mission","planning","slow","fast","actions","raman","finucane","kress-gazit"],"title":"Temporal logic robot mission planning for slow and fast actions","year":2012}