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

3 points by imakwana 4mo ago ↗ HN

1 comment

[ 3.7 ms ] story [ 9.7 ms ] thread

imakwana 4mo ago ↗

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