{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:24:04Z","timestamp":1729643044371,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/acc.2016.7526641","type":"proceedings-article","created":{"date-parts":[[2016,8,4]],"date-time":"2016-08-04T20:29:05Z","timestamp":1470342545000},"page":"6183-6188","source":"Crossref","is-referenced-by-count":3,"title":["Performance guaranteed human-robot collaboration through correct-by-design"],"prefix":"10.1109","author":[{"given":"Xiaobin","family":"Zhang","sequence":"first","affiliation":[]},{"family":"Yinhao Zhu","sequence":"additional","affiliation":[]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-006-9009-4"},{"journal-title":"Proceedings of SigDial","article-title":"Training and evaluation of an mdp model for social multi-user human-robot interaction","year":"2013","author":"keizer","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385013500027"},{"key":"ref16","first-page":"1339","article-title":"Planning for human-robot interaction using time-state aggregated pomdps","volume":"8","author":"broz","year":"2008","journal-title":"AAAI"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403399"},{"journal-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems","year":"2004","author":"rutten","key":"ref18","doi-asserted-by":"crossref","DOI":"10.1090\/crmm\/023"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref19"},{"key":"ref4","first-page":"448","article-title":"Robots in the classroom-tools for accessible education","author":"cooper","year":"1999","journal-title":"Assistive Technology on the Threshold of the New Millennium"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2004.826267"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10696-006-9028-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(02)00381-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570172"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30301-5_58"},{"journal-title":"Factories of the future multi annual roadmap for the contractual ppp under horizon 2020","year":"2013","author":"europ\u00e9enne","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/02783649030227004"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1561\/1100000005"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"article-title":"Introduction to automata theory, languages and computation","year":"1979","author":"aho","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1198\/016214506000000302"},{"volume":"300","journal-title":"Modeling and Control of Logical Discrete Event Systems","year":"2012","author":"kumar","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_25"},{"key":"ref25","first-page":"477","article-title":"The infinite partially observable markov decision process","author":"doshi-velez","year":"2009","journal-title":"Advances in neural information processing systems"}],"event":{"name":"2016 American Control Conference (ACC)","start":{"date-parts":[[2016,7,6]]},"location":"Boston, MA, USA","end":{"date-parts":[[2016,7,8]]}},"container-title":["2016 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7518121\/7524873\/07526641.pdf?arnumber=7526641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T05:03:30Z","timestamp":1568264610000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7526641\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/acc.2016.7526641","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}