Stanford AA228V: Validation of Safety Critical Systems (2025)

Associated textbook: Algorithms for Validation (2026): https://algorithmsbook.com/validation/files/val.pdf