{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:32:28Z","timestamp":1729611148344,"version":"3.28.0"},"publisher-location":"Reston, Virigina","reference-count":23,"publisher":"American Institute of Aeronautics and Astronautics","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,19]]},"DOI":"10.2514\/6.2012-2581","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T22:53:44Z","timestamp":1355871224000},"update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":0,"title":["Methods and Tools to Enable the Verification of Intelligent Systems"],"prefix":"10.2514","author":[{"given":"Alessandro","family":"Pinto","sequence":"first","affiliation":[{"name":"United Technologies Research Center, Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"key":"p_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell S.","year":"2009","edition":"3"},{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.845165"},{"key":"p_3","first-page":"1960","volume-title":"proceedings of the 21st national conference on Artificial intelligence -","volume":"2","author":"Bruemmer D. J.","year":"2006"},{"volume-title":"Tech. rep.","year":"2007","author":"Soeren Kammel","key":"p_4"},{"volume-title":"Tech. rep.","year":"2007","author":"Mohammed Aly W.","key":"p_5"},{"volume-title":"DO-178B: Software Considerations in Airborne Systems and Equipment Certification","year":"1982","key":"p_6"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"volume-title":"R. Alan Whitehurst, National Aeronautics and Space Administration","year":"1989","author":"Rushby J.","key":"p_8"},{"key":"p_9","first-page":"154","volume":"65","author":"Menzies T.","year":"2005","journal-title":"Advances in Computers"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_11"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2000.927013"},{"volume":"2008","volume-title":"Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07)","author":"Benveniste A.","key":"p_12"},{"volume":"78","volume-title":"AIPS98 planning committee","author":"Knoblock C.","key":"p_14"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"volume-title":"An extension to PDDL for expressing planning domains with probabilistic effects","year":"2004","author":"Younes H.","key":"p_16"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"p_18","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"825","volume-title":"Handbook of Satisfiability","volume":"185","author":"Barrett C. W.","year":"2009"},{"volume":"2404","volume-title":"Proceedings of the 14th International Conference on Computer Aided Verification (CAV '02)","author":"Stump A.","key":"p_19"},{"volume":"4603","volume-title":"Proceedings of the 21st International Conference on Automated Deduction (CADE '07)","author":"Ge Y.","key":"p_21"},{"volume-title":"Software Abstractions: Logic, Language, and Analysis","year":"2006","author":"Jackson D.","key":"p_22"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00374-0"},{"key":"p_27","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2004.120"},{"key":"p_28","first-page":"363","volume-title":"conference on Artificial intelligence, IJCAI'03","author":"Cimatti A.","year":"2003"}],"event":{"name":"Infotech@Aerospace 2012","location":"Garden Grove, California"},"container-title":["Infotech@Aerospace 2012"],"original-title":[],"link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/6.2012-2581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,21]],"date-time":"2021-03-21T09:58:39Z","timestamp":1616320719000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/6.2012-2581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,19]]},"references-count":23,"alternative-id":["10.2514\/6.2012-2581","10.2514\/MIAA12"],"URL":"https:\/\/doi.org\/10.2514\/6.2012-2581","relation":{},"subject":[],"published":{"date-parts":[[2012,6,19]]}}}