{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:47:53Z","timestamp":1762253273439,"version":"3.44.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/iros40897.2019.8967709","type":"proceedings-article","created":{"date-parts":[[2020,1,30]],"date-time":"2020-01-30T23:53:51Z","timestamp":1580428431000},"page":"5930-5936","source":"Crossref","is-referenced-by-count":22,"title":["Specifying and Synthesizing Human-Robot Handovers"],"prefix":"10.1109","author":[{"given":"Alap","family":"Kshirsagar","sequence":"first","affiliation":[{"name":"Cornell University,Sibley School of Mechanical and Aerospace Engineering,Ithaca,New York,14853"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Cornell University,Sibley School of Mechanical and Aerospace Engineering,Ithaca,New York,14853"}]},{"given":"Guy","family":"Hoffman","sequence":"additional","affiliation":[{"name":"Cornell University,Sibley School of Mechanical and Aerospace Engineering,Ithaca,New York,14853"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9699-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2012.2196303"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942851"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7354302"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref15","article-title":"Perception and control challenges for effective human-robot handoffs","author":"micelli","year":"2011","journal-title":"Robotics Science and Systems (RSS) Workshop on RGB-D Cameras"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26287-1_5"},{"key":"ref18","article-title":"An assurance-based approach to verification and validation of human–robot teams","author":"webster","year":"2016","journal-title":"arXiv preprint arXiv 1608 07403"},{"key":"ref19","first-page":"470","article-title":"Synthesis for human-in-the-loop control systems","author":"li","year":"2014","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2015.XI.031"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2559636.2559656"},{"key":"ref6","first-page":"1986","article-title":"Human p for robot-human hand-over configurations","author":"cakmak","year":"2011","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70022-9_58"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353106"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630788"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.5898\/JHRI.2.1.Strabala"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2016.7803296"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2008.4600651"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2015-9713"},{"key":"ref21","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"18th International Conference on Hybrid Systems Computation and Control"},{"key":"ref24","article-title":"Evaluating fluency in human-robot collaboration","author":"hoffman","year":"2013","journal-title":"Robotics Science and Systems (RSS) Workshop Human-Robot Collaboration"},{"journal-title":"BluSTL on github","year":"2018","author":"raman","key":"ref23"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.dib.2018.11.110","article-title":"A multi-sensor dataset of human-human handover","volume":"22","author":"carf","year":"2019","journal-title":"Data Brief"}],"event":{"name":"2019 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2019,11,3]]},"location":"Macau, China","end":{"date-parts":[[2019,11,8]]}},"container-title":["2019 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8957008\/8967518\/08967709.pdf?arnumber=8967709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T21:54:39Z","timestamp":1756245279000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8967709\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iros40897.2019.8967709","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}