@inproceedings{DBLP:conf/icra/CamposPHK19,
  author       = {Thais Campos and
                  Adam Pacheck and
                  Guy Hoffman and
                  Hadas Kress{-}Gazit},
  title        = {SMT-Based Control and Feedback for Social Navigation},
  booktitle    = {International Conference on Robotics and Automation, {ICRA} 2019,
                  Montreal, QC, Canada, May 20-24, 2019},
  pages        = {5005--5011},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICRA.2019.8794208},
  doi          = {10.1109/ICRA.2019.8794208},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icra/CamposPHK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ti3gaXiEiWxTuCTHK","bibbaseid":"campos-pacheck-hoffman-kressgazit-smtbasedcontrolandfeedbackforsocialnavigation-2019","author_short":["Campos, T.","Pacheck, A.","Hoffman, G.","Kress-Gazit, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Thais"],"propositions":[],"lastnames":["Campos"],"suffixes":[]},{"firstnames":["Adam"],"propositions":[],"lastnames":["Pacheck"],"suffixes":[]},{"firstnames":["Guy"],"propositions":[],"lastnames":["Hoffman"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"title":"SMT-Based Control and Feedback for Social Navigation","booktitle":"International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019","pages":"5005–5011","publisher":"IEEE","year":"2019","url":"https://doi.org/10.1109/ICRA.2019.8794208","doi":"10.1109/ICRA.2019.8794208","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icra/CamposPHK19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icra/CamposPHK19,\n author = {Thais Campos and\n Adam Pacheck and\n Guy Hoffman and\n Hadas Kress{-}Gazit},\n title = {SMT-Based Control and Feedback for Social Navigation},\n booktitle = {International Conference on Robotics and Automation, {ICRA} 2019,\n Montreal, QC, Canada, May 20-24, 2019},\n pages = {5005--5011},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/ICRA.2019.8794208},\n doi = {10.1109/ICRA.2019.8794208},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icra/CamposPHK19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Campos, T.","Pacheck, A.","Hoffman, G.","Kress-Gazit, H."],"key":"DBLP:conf/icra/CamposPHK19","id":"DBLP:conf/icra/CamposPHK19","bibbaseid":"campos-pacheck-hoffman-kressgazit-smtbasedcontrolandfeedbackforsocialnavigation-2019","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICRA.2019.8794208"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["smt","based","control","feedback","social","navigation","campos","pacheck","hoffman","kress-gazit"],"title":"SMT-Based Control and Feedback for Social Navigation","year":2019}