Algorithms Books
Cover of Algorithms for Validation

Algorithms for Validation

Mykel J. Kochenderfer, Sydney M. Katz, Anthony L. Corso, and Robert J. Moss

MIT Press, 2026 · Releasing November 10, 2026

Download PDF Pre-order

Intro

This book provides a broad introduction to algorithms for validating safety-critical systems. We cover a wide variety of topics related to validation, introducing the underlying mathematical problem formulations and the algorithms for solving them.

Download

The full book is available as a PDF.

Buy

Available for pre-order with a release date of November 10, 2026.

Outline

  1. Introduction
  2. System Modeling
  3. Property Specification
  4. Falsification through Optimization
  5. Falsification through Planning
  6. Failure Distribution
  7. Failure Probability Estimation
  8. Reachability for Linear Systems
  9. Reachability for Nonlinear Systems
  10. Reachability for Discrete Systems
  11. Explainability
  12. Runtime Monitoring

Appendices

  1. Systems
  2. Mathematical Concepts
  3. Neural Representations
  4. Julia

Ancillaries

Supporting material is maintained on GitHub.

Errata

Please file issues on GitHub or email the address listed at the bottom of the pages of the PDF. The PDF is kept up to date with any corrections.

Videos

A YouTube playlist accompanies the book.