{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:33:36Z","timestamp":1762522416224,"version":"3.44.0"},"reference-count":21,"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.8968002","type":"proceedings-article","created":{"date-parts":[[2020,1,30]],"date-time":"2020-01-30T23:53:51Z","timestamp":1580428431000},"page":"7770-7776","source":"Crossref","is-referenced-by-count":4,"title":["Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions"],"prefix":"10.1109","author":[{"given":"Rachel","family":"Schlossman","sequence":"first","affiliation":[{"name":"University of Texas at Austin,Departments of Mechanical Engineering (R.S., M.K.) or Aerospace Engineering (U.T., L.S.),Austin,USA,TX 78712-0292"}]},{"given":"Minkyu","family":"Kim","sequence":"additional","affiliation":[{"name":"University of Texas at Austin,Departments of Mechanical Engineering (R.S., M.K.) or Aerospace Engineering (U.T., L.S.),Austin,USA,TX 78712-0292"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[{"name":"University of Texas at Austin,Departments of Mechanical Engineering (R.S., M.K.) or Aerospace Engineering (U.T., L.S.),Austin,USA,TX 78712-0292"}]},{"given":"Luis","family":"Sentis","sequence":"additional","affiliation":[{"name":"University of Texas at Austin,Departments of Mechanical Engineering (R.S., M.K.) or Aerospace Engineering (U.T., L.S.),Austin,USA,TX 78712-0292"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2015.2425139"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-55911-7_1","article-title":"Cognitive reasoning and trust in human-robot interactions","author":"kwiatkowska","year":"2017","journal-title":"International Conference on Theory and Applications of Models of Computation"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242634"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759036"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2530623"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref16"},{"key":"ref17","article-title":"Exploring model predictive control to generate optimal control policies for hri dynamical systems","author":"jorgensen","year":"2017","journal-title":"arXiv preprint arXiv 1701 03308"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2017.2782483"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1080\/00050060310001707107"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206426"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487613"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1609\/icaps.v26i1.13792","article-title":"Task and motion policy synthesis as liveness games","author":"wang","year":"2016","journal-title":"ICAPS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799278"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3171221.3171264"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2909824.3020209"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2013.05.007"},{"key":"ref1","first-page":"40","article-title":"The seven deadly wastes of logistics: applying toyota production system principles to create logistics value","volume":"701","author":"sutherland","year":"2007","journal-title":"White Paper"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963171"},{"key":"ref20","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/978-3-319-41540-6_18","article-title":"Slugs: Extensible gr (1) synthesis","author":"ehlers","year":"2016","journal-title":"International Conference on Computer Aided Verification"}],"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\/08968002.pdf?arnumber=8968002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:36:23Z","timestamp":1756154183000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8968002\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iros40897.2019.8968002","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}