BibTeX

@inproceedings{20191104handoversstliros,
  author =		 "Kshirsagar, A. and  Kress-Gazit, H. and  Hoffman, G.",
  year =		 "2019",
  title =		 "Specifying and Synthesizing Human-Robot Handovers",
  booktitle =		 "Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
  key =			 "human-robot handovers, formal methods, signal temporal logic, human-robot interaction",
  URL =			 "https://alapkshirsagar.github.io/assets/paper-pdfs/2019-11-04-handoversstl-iros.pdf",
  publisher =		 "ieee",
  crossref =		 "p11644"
}