{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:53:36Z","timestamp":1771469616723,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,9]],"date-time":"2009-03-09T00:00:00Z","timestamp":1236556800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,9]]},"DOI":"10.1145\/1514095.1514169","type":"proceedings-article","created":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T12:31:33Z","timestamp":1236688293000},"page":"267-268","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Formal verification of human-robot teamwork"],"prefix":"10.1145","author":[{"given":"Rafael H.","family":"Bordini","sequence":"first","affiliation":[{"name":"University of Durham, Durham, Gt Britain"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, Gt Britain"}]},{"given":"Maarten","family":"Sierhuis","sequence":"additional","affiliation":[{"name":"CMU Silicon Valley, Mountain View, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,3,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.17"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2004.47"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-5955-7"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming Multi-agent Systems in AgentSpeak Using Jason","author":"Bordini R. H.","year":"2007","unstructured":"R. H. Bordini , J. F. H\u00fcbner , and M. Wooldridge . Programming Multi-agent Systems in AgentSpeak Using Jason . Wiley , 2007 . R. H. Bordini, J. F. H\u00fcbner, and M. Wooldridge. Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, 2007."},{"key":"e_1_3_2_1_5_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 1999 . E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_6_1","first-page":"42","volume-title":"Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World","volume":"1038","author":"Rao A.","year":"1996","unstructured":"A. Rao . AgentSpeak(L) : BDI Agents Speak Out in a Logical Computable Language . In Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World , volume 1038 of LNCS, pages 42 -- 55 . Springer , 1996 . A. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume 1038 of LNCS, pages 42--55. Springer, 1996."},{"key":"e_1_3_2_1_8_1","volume-title":"Multiagent Modeling and Simulation in Human-Robot Mission Operations","author":"Sierhuis M.","year":"2006","unstructured":"M. Sierhuis . Multiagent Modeling and Simulation in Human-Robot Mission Operations , 2006 . See http:\/\/ic.arc.nasa.gov\/ic\/publications. M. Sierhuis. Multiagent Modeling and Simulation in Human-Robot Mission Operations, 2006. See http:\/\/ic.arc.nasa.gov\/ic\/publications."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. 7th Int. Symp. Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS)","author":"Sierhuis M.","year":"2003","unstructured":"M. Sierhuis , J. M. Bradshaw , A. Acquisti , R. V. Hoof , R. Jeffers , and A. Uszok . Human-Agent Teamwork and Adjustable Autonomy in Practice . In Proc. 7th Int. Symp. Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS) , 2003 . M. Sierhuis, J. M. Bradshaw, A. Acquisti, R. V. Hoof, R. Jeffers, and A. Uszok. Human-Agent Teamwork and Adjustable Autonomy in Practice. In Proc. 7th Int. Symp. Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), 2003."},{"key":"e_1_3_2_1_10_1","volume-title":"An Introduction to Multiagent Systems","author":"Wooldridge M.","year":"2002","unstructured":"M. Wooldridge . An Introduction to Multiagent Systems . Wiley , 2002 . M. Wooldridge. An Introduction to Multiagent Systems. Wiley, 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9204-8"}],"event":{"name":"HRI09: International Conference on Human Robot Interaction","location":"La Jolla California USA","acronym":"HRI09","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","ACM Association for Computing Machinery","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 4th ACM\/IEEE international conference on Human robot interaction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514095.1514169","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1514095.1514169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:18Z","timestamp":1750253418000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514095.1514169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,9]]},"references-count":10,"alternative-id":["10.1145\/1514095.1514169","10.1145\/1514095"],"URL":"https:\/\/doi.org\/10.1145\/1514095.1514169","relation":{},"subject":[],"published":{"date-parts":[[2009,3,9]]},"assertion":[{"value":"2009-03-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}