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