{"product_id":"9783031885457","title":"Verification of Autonomous Systems","description":"\u003ch1\u003eVerification of Autonomous Systems\u003c\/h1\u003e \u003ch2\u003eRedfield, Signe; Sofge, Donald; Seto, Mae; Sustersic, John\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp class=\"MsoNormal\" style=\"mso-pagination: widow-orphan; punctuation-wrap: hanging; mso-vertical-align-alt: auto;\"\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eThis book is a \u003c\/span\u003e\u003cspan style=\"font-family: TimesNewRomanPS-BoldMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003ecomprehensive\u003c\/span\u003e\u003cstrong\u003e\u003cspan style=\"font-family: TimesNewRomanPS-BoldMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003e \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eguide to current \u003c\/span\u003e\u003cspan style=\"font-family: TimesNewRomanPS-BoldMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003epractical and theoretical\u003c\/span\u003e\u003cstrong\u003e\u003cspan style=\"font-family: TimesNewRomanPS-BoldMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003e \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eunderstanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a business determine whether their autonomous system is safe, secure, or reliable. A community has formed to develop tools, techniques, and processes to solve this problem, but the existing literature largely focuses on autonomy design tools and techniques rather than on tools and techniques that can be used to verify an existing autonomy design. This book fills that gap. \u003c\/span\u003e\u003c\/p\u003e\n\u003cp class=\"MsoNormal\" style=\"mso-pagination: widow-orphan; punctuation-wrap: hanging; mso-vertical-align-alt: auto;\"\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eIt directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:\u003c\/span\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli class=\"MsoNormal\"\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eSpecific challenges faced by stakeholders and researchers are cross-referenced to chapters addressing the relevant tools and techniques.\u003c\/span\u003e\u003c\/li\u003e\n\u003cli class=\"MsoNormal\"\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eIndividual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.\u003c\/span\u003e\u003c\/li\u003e\n\u003cli class=\"MsoNormal\"\u003e\u003cspan style=\"font-family: TimesNewRomanPSMT; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN;\"\u003eEach chapter is tied to both the stakeholder challenges and the technical challenges it addresses.\u003c\/span\u003e\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp class=\"MsoNormal\" style=\"mso-pagination: widow-orphan; punctuation-wrap: hanging; mso-vertical-align-alt: auto;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: TimesNewRomanPSMT; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: TimesNewRomanPSMT; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN; mso-bidi-language: AR-SA;\"\u003eVerification processes, industrial needs, and issues with verification of learning systems are addressed across all domains, encompassing platforms from aircraft and spacecraft to marine systems and ground vehicles operating in industrial, military, commercial and household applications. Broad in scope, this reference ties advances in formal analysis, hardware testing, verification process modifications, and design and evaluation tools to the needs of verification researchers and professionals.\u003c\/span\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2026-04-11\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031885457\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-88546-4\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 353\u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":44309882994828,"sku":"9783031885457","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031885457.jpg?v=1778008401","url":"https:\/\/lateknightbooks.com\/products\/9783031885457","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}