{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:32:01Z","timestamp":1754109121680,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T00:00:00Z","timestamp":1646611200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T00:00:00Z","timestamp":1646611200000},"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":[[2022,3,7]]},"DOI":"10.1109\/hri53351.2022.9889630","type":"proceedings-article","created":{"date-parts":[[2022,9,29]],"date-time":"2022-09-29T19:46:56Z","timestamp":1664480816000},"page":"727-730","source":"Crossref","is-referenced-by-count":3,"title":["Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis"],"prefix":"10.1109","author":[{"given":"Michael Jae-Yoon","family":"Chung","sequence":"first","affiliation":[{"name":"University of Washington,Computer Science & Engineering,Seattle,Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maya","family":"Cakmak","sequence":"additional","affiliation":[{"name":"University of Washington,Computer Science & Engineering,Seattle,Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2909824.3020252"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/HRI.2019.8673256"},{"key":"ref12","first-page":"2","article-title":"Iterative repair of social robot pro-grams from implicit user feedback via bayesian inference","volume":"1","author":"chung","year":"0","journal-title":"Interaction"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2157689.2157745"},{"journal-title":"Service Robots","year":"2018","author":"robotics","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197411"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347957"},{"key":"ref17","article-title":"Specifying and synthe-sizing human-robot handovers","author":"kshirsagar","year":"2019","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"journal-title":"Automatic failure recov-ery for end-user programs on service mobile robots","year":"2019","author":"hammond","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/b137241"},{"journal-title":"MYSTYROBOTICS SDK","year":"2020","key":"ref4"},{"journal-title":"Cozmo SDK","year":"2016","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.5898\/JHRI.1.1.Chao"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1514095.1514115"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1121241.1121283"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.5898\/JHRI.2.1.Trafton"},{"journal-title":"Jibo SDK-The Beginnings","year":"2016","author":"naveed","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.029"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2009.5326209"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888906000944"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314633"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"920","DOI":"10.1007\/s11263-018-1103-5","article-title":"Configurable 3d scene synthesis and 2d image rendering with per-pixel ground truth using stochastic grammars","volume":"126","author":"jiang","year":"2018","journal-title":"International Journal of Computer Vision"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386009"},{"journal-title":"The Design andImplementation of Probabilistic Programming Languages","year":"2014","author":"goodman","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3331545.3342601"},{"journal-title":"Using human-in-the-loop synthesis to author functional reactive programs","year":"2019","author":"newcomb","key":"ref25"}],"event":{"name":"2022 17th ACM\/IEEE International Conference on Human-Robot Interaction (HRI)","start":{"date-parts":[[2022,3,7]]},"location":"Sapporo, Japan","end":{"date-parts":[[2022,3,10]]}},"container-title":["2022 17th ACM\/IEEE International Conference on Human-Robot Interaction (HRI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9889327\/9889305\/09889630.pdf?arnumber=9889630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:05:03Z","timestamp":1667516703000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9889630\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/hri53351.2022.9889630","relation":{},"subject":[],"published":{"date-parts":[[2022,3,7]]}}}