Core functionality for Stanford's AA228V/CS238V Validation of Safety-Critical Systems course following the textbook Algorithms for Validation by Mykel Kochenderfer, Sydney Katz, Anthony Corso, and Robert Moss.
This package is part of the SISL registry.
] registry add https://github.com/sisl/Registry.git
] add StanfordAA228V
See the AA228VProjects repository for programming projects for students (written in Julia and using Pluto).
- Robert Moss: @mossr