{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:47:52Z","timestamp":1730213272858,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,5]]},"DOI":"10.1109\/dac18074.2021.9586208","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T23:30:34Z","timestamp":1636414234000},"page":"1315-1318","source":"Crossref","is-referenced-by-count":5,"title":["Requirement Specification, Analysis and Verification for Autonomous Systems"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.09.267"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/9.2.257"},{"key":"ref10","volume":"277","author":"fitting","year":"2012","journal-title":"First-Order Modal Logic"},{"key":"ref11","article-title":"Facebooks ad-serving algorithm discriminates by gender and race","author":"hao","year":"2019","journal-title":"MIT Technology Review"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00050"},{"journal-title":"Ai for full-self driving at tesla","year":"2020","author":"karpathy","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1083063.1083075"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1188966.1188976"},{"journal-title":"Electrical starting generation conversion and distribution system architecture for a more electric vehicle","year":"2008","author":"michalko","key":"ref16"},{"journal-title":"Escape the echo chamber","year":"2019","author":"nguyen","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2019.8782512"},{"key":"ref19","article-title":"A human-centric approach to ai in aviation","author":"roadmap","year":"2020","journal-title":"European Aviation Safety Agency"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09816-6_3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2494444.2494472"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3194085.3194091"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0168-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/REW.2019.00050"},{"journal-title":"Autonomous Agents Characterization and Requirements","year":"1991","author":"brustoloni","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1518\/001872095779049543"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"article-title":"Safety assurance objectives for autonomous systems","year":"2020","author":"alexander","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00175"},{"journal-title":"Seattle Aviation Safety Boeing Commercial Airplanes","article-title":"Statistical summary of commercial jet airplane accidents: Worldwide operations 1959–2019","year":"2019","key":"ref1"},{"journal-title":"The Capability Approach","year":"2016","author":"robeyns","key":"ref20"},{"journal-title":"Radio Technical Commission for Aeronautics","article-title":"Design assurance guidance for airborne electronics hardware","year":"2000","key":"ref22"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref21"},{"journal-title":"SAE International","article-title":"Guidelines for development of civil aircraft and systems","year":"2010","key":"ref24"},{"year":"1996","key":"ref23","article-title":"Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment sae international 12"},{"journal-title":"Stuart Russell (42m 00s)","year":"2019","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73053-8_31"}],"event":{"name":"2021 58th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2021,12,5]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2021,12,9]]}},"container-title":["2021 58th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9585997\/9586083\/09586208.pdf?arnumber=9586208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:52Z","timestamp":1652201752000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9586208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,5]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/dac18074.2021.9586208","relation":{},"subject":[],"published":{"date-parts":[[2021,12,5]]}}}