CS 238V: Verification & Validation

Stanford course with 15 lecture notes.

Lecture Timeline

• 2024-01-07 — SU-CS238V JAN072025
• 2025-01-09 — SU-CS238V JAN092025
• 2025-01-14 — SU-CS238V JAN142025
• 2025-01-16 — SU-CS238V JAN162025
• 2025-01-21 — SU-CS238V JAN212025
• 2025-01-28 — SU-CS238V JAN282025
• 2025-01-30 — SU-CS238V JAN302025
• 2025-02-04 — SU-CS238V FEB042025
• 2025-02-06 — SU-CS238V FEB062025
• 2025-02-11 — SU-CS238V FEB112025
• 2025-02-13 — SU-CS238V FEB132025
• 2025-02-18 — SU-CS238V FEB182025
• 2025-02-25 — SU-CS238V FEB252025
• 2025-03-06 — SU-CS238V MAR062025

Other Notes

• SU-CS238V MAR042025

Key Topics Referenced

• Adaptive Importance Sampling
• Aircraft Collision Avoidance
• Calibration Plot
• Conjugate Prior
• Counterfactuals
• Covariance Matrix
• Evaulating Model Fitness
• Explainability
• Failure Distribution
• Falsification
• Generative Model
• Importance Sampling
• Joint Probability Distribution
• Linear Temporal Logic
• Markov Chain Monte Carlo
• Maximum A Posteriori Estimate
• Maximum Likelihood Parameter Learning
• Mle For Gaussian
• Model Class
• Model Fitting
• Preference Elicitation
• Probabilistic Programming
• Property Specification
• Quantile Quantile Plot
• Rejection Sampling
• Runtime Monitoring
• Set Operations
• Signal Temporal Logic
• System Modeling