[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / wiki/courses/cs238v.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "CS 238V: Verification & Validation" type: course-overview source-count: 15 status: active confidence: high --- # CS 238V: Verification & Validation Stanford course with 15 lecture notes. ## Lecture Timeline - **2024-01-07** — [SU-CS238V JAN072025](../raw/course/cs238v/kbhsu_cs238v_jan072024.md) - **2025-01-09** — [SU-CS238V JAN092025](../raw/course/cs238v/kbhsu_cs238v_jan092025.md) - **2025-01-14** — [SU-CS238V JAN142025](../raw/course/cs238v/kbhsu_cs238v_jan142025.md) - **2025-01-16** — [SU-CS238V JAN162025](../raw/course/cs238v/kbhsu_cs238v_jan162025.md) - **2025-01-21** — [SU-CS238V JAN212025](../raw/course/cs238v/kbhsu_cs238v_jan212025.md) - **2025-01-28** — [SU-CS238V JAN282025](../raw/course/cs238v/kbhsu_cs238v_jan282025.md) - **2025-01-30** — [SU-CS238V JAN302025](../raw/course/cs238v/kbhsu_cs238v_jan302025.md) - **2025-02-04** — [SU-CS238V FEB042025](../raw/course/cs238v/kbhsu_cs238v_feb042025.md) - **2025-02-06** — [SU-CS238V FEB062025](../raw/course/cs238v/kbhsu_cs238v_feb062025.md) - **2025-02-11** — [SU-CS238V FEB112025](../raw/course/cs238v/kbhsu_cs238v_feb112025.md) - **2025-02-13** — [SU-CS238V FEB132025](../raw/course/cs238v/kbhsu_cs238v_feb132025.md) - **2025-02-18** — [SU-CS238V FEB182025](../raw/course/cs238v/kbhsu_cs238v_feb182025.md) - **2025-02-25** — [SU-CS238V FEB252025](../raw/course/cs238v/kbhsu_cs238v_feb252025.md) - **2025-03-06** — [SU-CS238V MAR062025](../raw/course/cs238v/kbhsu_cs238v_mar062025.md) ## Other Notes - [SU-CS238V MAR042025](../raw/course/cs238v/kbhsu_cs238v_mar0242025.md) ## 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]]