{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T09:01:33Z","timestamp":1777539693402,"version":"3.51.4"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"9","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"ERDF","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004186","name":"NWDA","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004186","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2013,9]]},"abstract":"<jats:p>Exploring autonomous systems and the agents that control them.<\/jats:p>","DOI":"10.1145\/2494558","type":"journal-article","created":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T11:15:14Z","timestamp":1585998914000},"page":"84-93","update-policy":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":107,"title":["Verifying autonomous systems"],"prefix":"10.1145","volume":"56","author":[{"given":"Michael","family":"Fisher","sequence":"first","affiliation":[{"name":"University of Liverpool, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Dennis","sequence":"additional","affiliation":[{"name":"University of Liverpool, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Webster","sequence":"additional","affiliation":[{"name":"Daresbury Laboratory Warrington, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Georgia Tech","author":"Arkin R.","year":"2007","unstructured":"Arkin , R. Governing lethal behavior: Embedding ethics in a hybrid deliberative\/reactive robot architecture. Technical report GIT-GVU-07-11 . Georgia Tech , 2007 . Arkin, R. Governing lethal behavior: Embedding ethics in a hybrid deliberative\/reactive robot architecture. Technical report GIT-GVU-07-11. Georgia Tech, 2007."},{"key":"e_1_2_1_2_1","volume-title":"Handbook of Modal Logic","author":"Blackburn P.","year":"2006","unstructured":"Blackburn , P. , van Benthem , J. and Wolter , F . eds. Handbook of Modal Logic . Elsevier , 2006 . Blackburn, P., van Benthem, J. and Wolter, F. eds. Handbook of Modal Logic. Elsevier, 2006."},{"key":"e_1_2_1_3_1","first-page":"23","article-title":"Experiences with an architecture for intelligent, reactive agents","volume":"9","author":"Bonasso P.","year":"1997","unstructured":"Bonasso , P. , Firby , J. , Gat , E. , Kortenkamp , D. , Miller , D. and Slack , M . Experiences with an architecture for intelligent, reactive agents . J. Exp. Theor. Artif. Intel. 9 , 23 ( 1997 ), 237--256. Bonasso, P., Firby, J., Gat, E., Kortenkamp, D., Miller, D. and Slack, M. Experiences with an architecture for intelligent, reactive agents. J. Exp. Theor. Artif. Intel. 9, 23 (1997), 237--256.","journal-title":"J. Exp. Theor. Artif. Intel."},{"key":"e_1_2_1_4_1","volume-title":"Readings in Distributed Artificial Intelligence. Morgan Kaufmann","author":"Bond A.","year":"1988","unstructured":"Bond , A. and Gasser , L . eds . Readings in Distributed Artificial Intelligence. Morgan Kaufmann , 1988 . Bond, A. and Gasser, L. eds. Readings in Distributed Artificial Intelligence. Morgan Kaufmann, 1988."},{"key":"e_1_2_1_5_1","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"Bordini R.","year":"2005","unstructured":"Bordini , R. , Dastani , M. , Dix , J. and El Fallah-Seghrouchni , A. eds. Multi-Agent Programming: Languages, Platforms and Applications . Springer , 2005 . Bordini, R., Dastani, M., Dix, J. and El Fallah-Seghrouchni, A. eds. Multi-Agent Programming: Languages, Platforms and Applications. Springer, 2005."},{"key":"e_1_2_1_6_1","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"Bordini R.","year":"2009","unstructured":"Bordini , R. , Dastani , M. , Dix , J. and El Fallah-Seghrouchni , A. eds. Multi-Agent Programming: Languages, Tools and Applications . Springer , 2009 . Bordini, R., Dastani, M., Dix, J. and El Fallah-Seghrouchni, A. eds. Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-5955-7"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71956-4","volume-title":"Programming Multi-agent Systems in &lt;code&gt;AgentSpeak&lt;\/code&gt","author":"Bordini R.","year":"2007","unstructured":"Bordini , R. , H\u00fcbner , J. and Wooldridge , M . Programming Multi-agent Systems in &lt;code&gt;AgentSpeak&lt;\/code&gt ; using Jason. Wiley , 2007 . Bordini, R., H\u00fcbner, J. and Wooldridge, M. Programming Multi-agent Systems in &lt;code&gt;AgentSpeak&lt;\/code&gt; using Jason. Wiley, 2007."},{"key":"e_1_2_1_9_1","volume-title":"Harvard University Press","author":"Bratman M.","year":"1987","unstructured":"Bratman , M. Intentions , Plans, and Practical Reason . Harvard University Press , 1987 . Bratman, M. Intentions, Plans, and Practical Reason. Harvard University Press, 1987."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"e_1_2_1_11_1","volume-title":"CAP 393 Air Navigation: The Order and the Regulations","author":"Civil Aviation Authority","year":"2010","unstructured":"Civil Aviation Authority . CAP 393 Air Navigation: The Order and the Regulations ; https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.caa.co.uk\/docs\/33\/CAP393.pdf, April 2010 . Civil Aviation Authority. CAP 393 Air Navigation: The Order and the Regulations; https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.caa.co.uk\/docs\/33\/CAP393.pdf, April 2010."},{"key":"e_1_2_1_12_1","volume-title":"CAP 722 Unmanned Aircraft System Operations in UK Airspace---Guidance","author":"Civil Aviation Authority","year":"2010","unstructured":"Civil Aviation Authority . CAP 722 Unmanned Aircraft System Operations in UK Airspace---Guidance ; https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.caa.co.uk\/docs\/33\/CAP722.pdf, April 2010 . Civil Aviation Authority. CAP 722 Unmanned Aircraft System Operations in UK Airspace---Guidance; https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.caa.co.uk\/docs\/33\/CAP722.pdf, April 2010."},{"key":"e_1_2_1_13_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"Clarke , E. , Grumberg , O. and Peled , D . Model Checking . MIT Press , 1999 . Clarke, E., Grumberg, O. and Peled, D. Model Checking. MIT Press, 1999."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"e_1_2_1_15_1","volume-title":"Workshop on Logic and the Simulation of Interaction and Reasoning. AISB","author":"Dennis L.","year":"2008","unstructured":"Dennis , L. and Farwer , B . GWENDOLEN: A BDI Language for verifiable agents . In Workshop on Logic and the Simulation of Interaction and Reasoning. AISB , 2008 . Dennis, L. and Farwer, B. GWENDOLEN: A BDI Language for verifiable agents. In Workshop on Logic and the Simulation of Interaction and Reasoning. AISB, 2008."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793534.1793544"},{"key":"e_1_2_1_17_1","unstructured":"Dennis L. Fisher M. Lincoln N. Lisitsa A. and Veres S. Verifying Practical Autonomous Systems. (Under review.)  Dennis L. Fisher M. Lincoln N. Lisitsa A. and Veres S. Verifying Practical Autonomous Systems. (Under review.)"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2010.88"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43404"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2024613"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/648203.749270"},{"key":"e_1_2_1_23_1","volume-title":"On three-layer architectures. Artificial Intelligence and Mobile Robots","author":"Gat E.","year":"1997","unstructured":"Gat , E. , Bonnasso , R. , Murphy , R. and Press , A . On three-layer architectures. Artificial Intelligence and Mobile Robots . AAAI Press , 1997 , 195--210. Gat, E., Bonnasso, R., Murphy, R. and Press, A. On three-layer architectures. Artificial Intelligence and Mobile Robots. AAAI Press, 1997, 195--210."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872572"},{"key":"e_1_2_1_25_1","volume-title":"Systematic Software Development Using VDM","author":"Jones C.","year":"1986","unstructured":"Jones , C. Systematic Software Development Using VDM . Prentice Hall International , 1986 . Jones, C. Systematic Software Development Using VDM. Prentice Hall International, 1986."},{"key":"e_1_2_1_26_1","unstructured":"Java PathFinder. javapathfinder.sourceforge.net.  Java PathFinder. javapathfinder.sourceforge.net."},{"key":"e_1_2_1_27_1","first-page":"1","article-title":"RoboCup rescue: A grand challenge for multiagent and intelligent systems","volume":"22","author":"Kitano H.","year":"2001","unstructured":"Kitano , H. and Tadokoro , S . RoboCup rescue: A grand challenge for multiagent and intelligent systems . AI Magazine 22 , 1 ( 2001 ), 39--52. Kitano, H. and Tadokoro, S. RoboCup rescue: A grand challenge for multiagent and intelligent systems. AI Magazine 22, 1 (2001), 39--52.","journal-title":"AI Magazine"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.12.010"},{"key":"e_1_2_1_30_1","volume-title":"Proc. 7th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, LNCS 1038","author":"Rao A.","year":"1996","unstructured":"Rao , A. &lt;code&gt; AgentSpeak &lt;\/code&gt;(L) : BDI agents speak out in a logical computable language . In Proc. 7th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, LNCS 1038 ( 1996 ). Springer, 42--55. Rao, A. &lt;code&gt;AgentSpeak&lt;\/code&gt;(L): BDI agents speak out in a logical computable language. In Proc. 7th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, LNCS 1038 (1996). Springer, 42--55."},{"key":"e_1_2_1_31_1","first-page":"3","article-title":"Decision procedures for propositional linear-time belief-desire-intention logics","volume":"8","author":"Rao A","year":"1998","unstructured":"Rao , A . Decision procedures for propositional linear-time belief-desire-intention logics . Journal of Logic and Computation 8 , 3 ( 1998 ), 293--342. Rao, A. Decision procedures for propositional linear-time belief-desire-intention logics. Journal of Logic and Computation 8, 3 (1998), 293--342.","journal-title":"Journal of Logic and Computation"},{"key":"e_1_2_1_32_1","volume-title":"Proc. 1st Int. Conf. Multi-Agent Systems","author":"Rao A.S.","year":"1995","unstructured":"Rao , A.S. and Georgeff , M.P . BDI agents: From theory to practice . In Proc. 1st Int. Conf. Multi-Agent Systems ( San Francisco, CA , 1995 ), 312--319. Rao, A.S. and Georgeff, M.P. BDI agents: From theory to practice. In Proc. 1st Int. Conf. Multi-Agent Systems (San Francisco, CA, 1995), 312--319."},{"key":"e_1_2_1_33_1","volume-title":"Proc. 1st Int. Conf. Knowledge Representation and Reasoning","author":"Rao A.S.","year":"1992","unstructured":"Rao , A.S. and Georgeff , M.P . An abstract architecture for rational agents . In Proc. 1st Int. Conf. Knowledge Representation and Reasoning ( 1992 ), 439--449. Rao, A.S. and Georgeff, M.P. An abstract architecture for rational agents. In Proc. 1st Int. Conf. Knowledge Representation and Reasoning (1992), 439--449."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"e_1_2_1_35_1","volume-title":"Nevada Revised Statutes","author":"United States of America State of Nevada Legislature.","year":"2012","unstructured":"United States of America State of Nevada Legislature. Nevada Revised Statutes Chapter 482A---Autonomous Vehicles, Mar. 2012 . United States of America State of Nevada Legislature. Nevada Revised Statutes Chapter 482A---Autonomous Vehicles, Mar. 2012."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041619.2041644"},{"key":"e_1_2_1_38_1","volume-title":"An Introduction to Multiagent Systems","author":"Wooldridge M.","year":"2002","unstructured":"Wooldridge , M. An Introduction to Multiagent Systems . Wiley , 2002 . Wooldridge, M. An Introduction to Multiagent Systems. Wiley, 2002."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9204-8"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2494558","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/2494558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:55Z","timestamp":1750231735000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2494558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":39,"aliases":["10.1145\/2500468.2494558"],"journal-issue":{"issue":"9","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["10.1145\/2494558"],"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1145\/2494558","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]},"assertion":[{"value":"2013-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}