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:
- Errors
- Improvements to code (especially improvements for clarity over speed)
- Typos
- Areas that are confusing
- Critical topics that are missing
- Ideas for examples or exercises
Book webpage: https://algorithmsbook.com/validation
To be filled out.