Algorithms for Validation

Name: Algorithms for Validation
Brand: RANDOM HOUSE US
Price: 217.99 AUD
Availability: PreOrder

By: Mykel J. Kochenderfer

Write A Review

Hardcover | 1 December 2026

At a Glance

Format
Hardcover

Dimensions(cm)
0.1 x 0.1 x 0.1

Hardcover

RRP $300.00

$217.99

27%OFF

or 4 interest-free payments of $54.50 with

Available: 1st December 2026

Preorder. Will ship when available.

A broad, rigorous introduction to algorithms for validating safety-critical systems.

Validation is a critical component of the development process for decision-making systems used in high-stakes settings, from autonomous vehicles and aviation to finance and healthcare. As these systems and their operating environments increase in complexity, understanding the full spectrum of possible behaviors becomes more difficult and requires a rigorous validation process. This comprehensive textbook presents a variety of computational methods for validating autonomous systems, introducing the underlying mathematical problem formulations and the algorithms for solving them. Unifying techniques from multiple fields under a common validation framework, it provides advanced undergraduate and graduate students objective strategies for validation.

The text first covers techniques required to formulate validation problems in a common structure. It then addresses sampling-based failure analysis techniques such as falsification and failure probability estimation, followed by formal methods for reachability analysis, explainability, and runtime monitoring. Algorithmic implementations are provided throughout.

Offers unified framework for formulating validation problems
Presents both sampling-based and formal methods
Accessibly introduces failure probability estimation algorithms and reachability algorithms for linear, nonlinear, and discrete systems
Emphasizes practical considerations for applying algorithms to real-world systems

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.