{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:37:43Z","timestamp":1761514663979},"reference-count":57,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"1","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.2514\/1.i010848","type":"journal-article","created":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T15:57:06Z","timestamp":1603382226000},"page":"3-13","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":8,"title":["Generating Certification Evidence for Autonomous Aerial Vehicles Decision-Making"],"prefix":"10.2514","volume":"18","author":[{"suffix":"III","given":"Donald H.","family":"Costello","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, Maryland 20742"}]},{"given":"Huan","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, Maryland 20742"}]}],"member":"1387","reference":[{"key":"r3","unstructured":"WeibelR. E.HansmanR. J. \u201cSafety Considerations for Operation on Unmanned Aerial Vehicles in the National Airspace System,\u201d Massachusetts Inst. of Technology International Center for Air Transportation TR-ICAT 2005-1, Cambridge, MA, 2005."},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010096"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.1080\/07341510008581980"},{"key":"r11","doi-asserted-by":"publisher","DOI":"10.1067\/j.cpsurg.2017.02.004"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.1177\/0022009413493943"},{"key":"r13","unstructured":"RoddS. A. \u201cGovernment Laboratory Technology Transfer: Process and Impact Assessment,\u201d Ph.D. Thesis, Virginia Polytechnic Inst. and State Univ., Blacksburg, VA, 1998."},{"key":"r15","unstructured":"ClarkM.AlleyJ.DealP. J.DepriestJ. C.HansenE.HeitmeyerC.NamethR.SteinbergM.TurnerC.YoungS.AhnerD.AlonzoK.BodtB. A.FriesenP. F.HorrisJ.HoffmanJ. A.GrossK. H.HumphreyL.ChildersM.CoreyM. \u201cAutonomy Community of Interest (COI) Test and Evaluation, Verification and Validation (TEVV) Working Group: Technology Investment Strategy 2015-2018,\u201d Office of the Assistant Secretary of Defense for Research and Engineering (USD(R&E)), The Pentagon, Washington, D.C. 2015."},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010471"},{"key":"r17","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-0380"},{"key":"r18","volume-title":"AIAA Guidance, Navigation, and Control Conference","author":"Humphreys C. J.","year":"2016"},{"key":"r19","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-1896"},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-1593"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010448"},{"key":"r23","doi-asserted-by":"publisher","DOI":"10.4271\/2015-01-2529"},{"key":"r24","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-0343"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1145\/2494558"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-1594"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-0223"},{"key":"r28","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-1550"},{"key":"r29","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0639"},{"key":"r30","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-0151"},{"key":"r31","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-1428"},{"key":"r32","volume-title":"Principles of Model","author":"Baier C.","year":"2008"},{"key":"r33","unstructured":"KaneA. \u201cRuntime Monitoring for Safety-Critical Embedded Systems,\u201d Ph.D. Dissertation, Electrical and Computer Engineering, Carnegie\u2013Mellon Univ., Pittsburgh, PA, 2015."},{"key":"r34","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010432"},{"key":"r35","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-0222"},{"key":"r36","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-0419"},{"key":"r37","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6338"},{"key":"r38","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-6257"},{"key":"r39","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-2203"},{"key":"r40","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-3414"},{"key":"r41","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8041"},{"key":"r42","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-3636"},{"key":"r43","unstructured":"BerezinS. \u201cModel Checking and Theorem Proving: A Unified Framework,\u201d Ph.D. Dissertation, School of Computer Science, Carnegie\u2013Mellon Univ., Pittsburgh, PA, 2002."},{"key":"r44","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2573"},{"key":"r45","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-1919"},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.2514\/1.32013"},{"key":"r47","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-7582"},{"key":"r48","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4723"},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-5183"},{"key":"r51","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-1645"},{"key":"r52","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-1866"},{"key":"r53","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-0345"},{"key":"r54","unstructured":"OuimetM. \u201cFormal Software Verification: Model Checking and Theorem Proving,\u201d Embedded Systems Lab. Massachusetts Inst. of Technology TR ESL-TIK-00214, Cambridge, MA, 2008, http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.90.5587&=rep1&=pdf [retrieved 11 Oct. 2020]."},{"key":"r56","doi-asserted-by":"publisher","DOI":"10.1145\/2984450.2984459"},{"key":"r61","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-1000"},{"key":"r62","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-0418"},{"key":"r63","volume-title":"Conference Proceedings of NASA Center for AeroSpace Information (CASI)","author":"Mu\u00f1oz C.","year":"2016"},{"key":"r64","unstructured":"GhatasR. W.JackD. P.TsakpinisD.VincentM. J.SturdyJ. L.Mu\u00f1ozC. A.HofflerK. D.DutleA. M.MyerR.DeHavenA. M.LewisT.ArthurK. E. \u201cUnmanned Aircraft Systems Minimum Operational Performance Standards End-to-End Verification and Validation (E2-V2) Simulation,\u201d NASA TM-2017-20780, 2017."},{"key":"r65","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-3156"},{"key":"r67","unstructured":"DonleyM. B.SchwartzN. A. \u201cTechnology Horizons, A Vision for Air Force Science and Technology 2010\u201330,\u201d Office of the U.S. Air Force Chief Scientist, Air Univ. Press, Air Force Research Inst., Maxwell AFB, AL, 2010."},{"key":"r68","unstructured":"TateD.GrierR.MartinC.MosesF. L.SparrowD. A.EdmonsonJ. R.ChakiS.ScheidtD. H.ScheidtD. H.PiatkoC. D.DavisD.StausbergerD. \u201cA Framework for Evidence-Based Licensure of Adaptive Autonomous Systems: Technical Areas,\u201d Inst. for Defense Analyses, IDA Paper P-5325, Log H 16-000680, Alexandria, VA, 2016."},{"key":"r69","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.04.008"},{"key":"r70","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010601"},{"issue":"1","key":"r71","first-page":"35","volume":"1","author":"Kumar S.","year":"2015","journal-title":"International Journal of Engineering Science and Advanced Research"},{"key":"r72","unstructured":"HooverD.GauspariD.HumennP. \u201cApplications of Formal Methods to Specification and Safety of Avionics Software,\u201d NASA CR, Odyssey Research Assoc., Ithaca, NY, 1996, https:\/\/ntrs.nasa.gov\/citations\/19960023949 [retrieved 19 Dec.\u00a02017]."},{"key":"r73","first-page":"209","volume":"17","author":"Narkawicz A.","year":"2012","journal-title":"Reliable Computing"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T23:27:45Z","timestamp":1616974065000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,1]]}},"alternative-id":["10.2514\/1.I010848"],"URL":"https:\/\/doi.org\/10.2514\/1.i010848","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1]]},"assertion":[{"value":"2020-04-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-15","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-20","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-10-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}