{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T08:57:52Z","timestamp":1773392272072,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,8]],"date-time":"2021-03-08T00:00:00Z","timestamp":1615161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation (NSF)","award":["1846658"],"award-info":[{"award-number":["1846658"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,8]]},"DOI":"10.1145\/3434074.3447155","type":"proceedings-article","created":{"date-parts":[[2021,3,8]],"date-time":"2021-03-08T01:33:11Z","timestamp":1615167191000},"page":"181-185","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Formal Verification for Human-Robot Interaction in Medical Environments"],"prefix":"10.1145","author":[{"given":"Benjamin J.","family":"Choi","sequence":"first","affiliation":[{"name":"Potomac School, McLean, VA, USA"}]},{"given":"Juyoun","family":"Park","sequence":"additional","affiliation":[{"name":"George Washington University, Washington, DC, USA"}]},{"given":"Chung Hyuk","family":"Park","sequence":"additional","affiliation":[{"name":"George Washington University, Washington, DC, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,3,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"E304","article-title":"Determine the most common clinical symptoms in COVID- 19 patients: a systematic review and meta-analysis","volume":"61","author":"Alimohamadi Yousef","year":"2020","unstructured":"Yousef Alimohamadi , Mojtaba Sepandi , Maryam Taghdir , and Hadiseh Hosamirudsari . 2020 . Determine the most common clinical symptoms in COVID- 19 patients: a systematic review and meta-analysis . Journal of preventive medicine and hygiene 61 , 3 (2020), E304 . Yousef Alimohamadi, Mojtaba Sepandi, Maryam Taghdir, and Hadiseh Hosamirudsari. 2020. Determine the most common clinical symptoms in COVID- 19 patients: a systematic review and meta-analysis. Journal of preventive medicine and hygiene 61, 3 (2020), E304.","journal-title":"Journal of preventive medicine and hygiene"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45477-1_22"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514095.1514169"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"e_1_3_2_1_7_1","volume-title":"IEEE","author":"Karaman Sertac","year":"2008","unstructured":"Sertac Karaman and Emilio Frazzoli . 2008 . Complex mission optimization for multiple-UAVs using linear temporal logic. In 2008 american control conference . IEEE , 2003--2009. Sertac Karaman and Emilio Frazzoli. 2008. Complex mission optimization for multiple-UAVs using linear temporal logic. In 2008 american control conference. IEEE, 2003--2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3390\/ijerph17113819"},{"key":"e_1_3_2_1_9_1","volume-title":"Formal Verification of Human-Robot Interaction in Healthcare Scenarios. In International Conference on Software Engineering and Formal Methods. Springer, 303--324","author":"Lestingi Livia","year":"2020","unstructured":"Livia Lestingi , Mehrnoosh Askarpour , Marcello M Bersani , and Matteo Rossi . 2020 . Formal Verification of Human-Robot Interaction in Healthcare Scenarios. In International Conference on Software Engineering and Formal Methods. Springer, 303--324 . Livia Lestingi, Mehrnoosh Askarpour, Marcello M Bersani, and Matteo Rossi. 2020. Formal Verification of Human-Robot Interaction in Healthcare Scenarios. In International Conference on Software Engineering and Formal Methods. Springer, 303--324."},{"key":"e_1_3_2_1_10_1","volume-title":"Lies in the doctor-patient relationship. Primary care companion to the Journal of clinical psychiatry 11, 4","author":"Palmieri John J","year":"2009","unstructured":"John J Palmieri and Theodore A Stern . 2009. Lies in the doctor-patient relationship. Primary care companion to the Journal of clinical psychiatry 11, 4 ( 2009 ), 163. John J Palmieri and Theodore A Stern. 2009. Lies in the doctor-patient relationship. Primary care companion to the Journal of clinical psychiatry 11, 4 (2009), 163."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242634"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/HRI.2019.8673221"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Lauren Vogel. 2019. Why do patients often lie to their doctors?  Lauren Vogel. 2019. Why do patients often lie to their doctors?","DOI":"10.1503\/cmaj.109-5705"},{"key":"e_1_3_2_1_16_1","unstructured":"MattWebster Maha Salem Clare Dixon Michael Fisher and Kerstin Dautenhahn. 2014. Formal verification of an autonomous personal robotic assistant. (2014).  MattWebster Maha Salem Clare Dixon Michael Fisher and Kerstin Dautenhahn. 2014. Formal verification of an autonomous personal robotic assistant. (2014)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.07.095"}],"event":{"name":"HRI '21: ACM\/IEEE International Conference on Human-Robot Interaction","location":"Boulder CO USA","acronym":"HRI '21","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Companion of the 2021 ACM\/IEEE International Conference on Human-Robot Interaction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3434074.3447155","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3434074.3447155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:28Z","timestamp":1750193248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3434074.3447155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,8]]},"references-count":17,"alternative-id":["10.1145\/3434074.3447155","10.1145\/3434074"],"URL":"https:\/\/doi.org\/10.1145\/3434074.3447155","relation":{},"subject":[],"published":{"date-parts":[[2021,3,8]]},"assertion":[{"value":"2021-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}