Verification of Autonomous Systems
- Publisher's listprice EUR 160.49
-
66 563 Ft (63 393 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 7 988 Ft off)
- Discounted price 58 575 Ft (55 786 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
66 563 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 5 November 2025
- Number of Volumes 1 pieces, Book
- ISBN 9783031885457
- Binding Hardback
- No. of pages290 pages
- Size 235x155 mm
- Language English
- Illustrations X, 290 p. 86 illus., 72 illus. in color. Illustrations, black & white 700
Categories
Long description:
"
This book is a comprehensive guide to current practical and theoretical understanding 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.
It directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:
- Specific challenges faced by stakeholders and researchers are cross-referenced to chapters addressing the relevant tools and techniques.
- Individual 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.
- Each chapter is tied to both the stakeholder challenges and the technical challenges it addresses.
Verification 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.
" MoreTable of Contents:
Part I Introduction.- Chapter 1 Introduction.- Chapter 2 Verification Challenges.- Part II Theoretical Approaches.- Chater 3 Assuring Autonomy Using MBSE, Formal Methods, and the Best Agile/DevOps Practices.- Chapter 4 Specification of Autonomous Behavior.- Chapter 5 A Philosophical and Mathematical Framework for Associated Problems of Hierarchical Verification of Autonomous Systems.- Chapter 6 Structuring Learning-enabled Robot Control to Support Verification.- Part III Practical Considerations.- Chapter 7 Verification Test Methods and Metrics.- Chapter 8 Review on Verification for Marine Autonomous Systems.- Chapter 9 Performance Boundary Identification and Automated Test Plan Development.- Chapter 10 Designing and Assuring Spacecraft Autonomy.- Chapter 11 Evaluating Autonomous Systems.- Index.
More
