Algorithms for Validation
$396.48
- Hardcover
442 pages
- Release Date
1 December 2026
Summary
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 textb…
Book Details
| ISBN-13: | 9780262056014 |
|---|---|
| ISBN-10: | 0262056011 |
| Author: | Mykel J. Kochenderfer, Sydney M. Katz |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Hardcover |
| Number of Pages: | 442 |
| Release Date: | 1 December 2026 |
| Weight: | 567g |
| Dimensions: | 203mm x 229mm |
You Can Find This Book In
Mykel J. Kochenderfer
Mykel Kochenderfer is Associate Professor of Aeronautics and Astronautics at Stanford University. He is Director of the Stanford Intelligent Systems Laboratory (SISL). He is the author of Decision Making under Uncertainty, Algorithms for Optimization, and Algorithms for Decision Making, all published by the MIT Press.
Sydney Katz is a cofounder and CTO of Valgo, a company focused on risk quantification tools to insure physical AI.
Anthony Corso is Chief Technology Officer and cofounder of Terra, a company focused on the use of advanced decision-making algorithms for sustainability.
Robert Moss is a cofounder and CEO of Valgo.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.