Algorithms for Validation

Ancillaries for the textbook

This repository contains resources related to Algorithms for Validation by Mykel J. Kochenderfer, Sydney M. Katz, Anthony L. Corso, and Robert J. Moss (MIT Press, forthcoming).

Code

All textbook typeset code blocks can be found in this repository.

Figures

All figures can be downloaded here. Feel free to use these figures is presentations.

Syllabi

This textbook is used for the a course called Validation of Safety-Critical Systems at Stanford University. You can access the syllabus and other course materials on the course webpage.

Lecture Recordings

Lecture recordings covering the material in each chapter are publicly available here.