{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:17:28Z","timestamp":1730297848887,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8122698","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T22:22:47Z","timestamp":1512080567000},"page":"752-757","source":"Crossref","is-referenced-by-count":0,"title":["Formal performance guarantees for an approach to human in the loop robot missions"],"prefix":"10.1109","author":[{"given":"D. M.","family":"Lyons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. C.","family":"Arkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"O'Brien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139410"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008807102993"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.21236\/ADA612440"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3182\/20130626-3-AU-2035.00034"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2015.22"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942754"},{"key":"ref6","article-title":"An Analysis of Displays for Probabilistic Robotic Mission Verification Results","author":"o'brien","year":"2016","journal-title":"Conf Applied Human Factors and Ergonomics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2016.0025"},{"key":"ref8","article-title":"Towards Reliable Autonous Assistants through Formal verification: As Case Study","volume":"46","author":"webster","year":"2016","journal-title":"IEEE Trans HMC"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2418592"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2017,10,5]]},"location":"Banff, AB","end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08122698.pdf?arnumber=8122698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T23:15:23Z","timestamp":1516230923000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122698\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8122698","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}