Stanford AA228V: Validation of Safety Critical Systems (2025) (youtube.com)

3 points by imakwana 1mo ago ↗ HN

1 comment

[ 5.4 ms ] story [ 16.1 ms ] thread

imakwana 1mo ago ↗

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