Algorithms for Validation

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

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.

Please file issues for suggestions and comments (or email the address listed at the bottom of the pages of the PDF).

We are interested in all forms of feedback including, but not limited to:

1. Errors
2. Improvements to code (especially improvements for clarity over speed)
3. Typos
4. Areas that are confusing
5. Critical topics that are missing
6. Ideas for examples or exercises

Book webpage: https://algorithmsbook.com/validation

Errata

To be filled out.