Stanford AA228V/CS238V: Validation of Safety-Critical Systems

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.

Installation

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).

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
media		media
scripts		scripts
src		src
.gitignore		.gitignore
LICENSE.md		LICENSE.md
Project.toml		Project.toml
README.md		README.md