Key Sequence

System Modeling

Notation

New Concepts

• model and model class
• joint probability distribution
• covariance matrix
• increasing expressiveness of your model class without inventing new distributions
  • mixure model
  • transforming distributions
  • generative model
• model fitting
  • MLE
  • MLE for Conditional Gaussian
  • MAP

Important Results / Claims

• Procedure for Building Models
• key challenges of modeling
• transforming distributions
• independent joint probability
• MLE for Gaussian

Questions

Interesting Factoids

Key Sequence

Notation

New Concepts

• probabilistic programming
• conjugate prior
• Orienteering example: aircraft collision avoidance
• evaulating model fitness
  • Quantile-Quantile plot
  • Calibration Plot
  • Turing Test
• System Specification

  • Metric

  • composite metrics
    • weighted sum method
    • goal distance

Important Results / Claims

• Marginalization Ignores Covariances

Questions

Interesting Factoids

Key Sequence

more on System Specification!

Notation

New Concepts

• composite metrics
  • weighted sum method
  • goal distance metric
• Preference Elicitation
• logical specification
  • propositional logic
  • first-order logic
  • temporal logic
    • linear temporal logic
    • Signal Temporal Logic
      • robustness (logic)

Important Results / Claims

Questions

Interesting Factoids

Key Sequence

Notation

New Concepts

• falsification

Important Results / Claims

a bunch of ways to do falsification

• direct falsification
• disturbances
• fuzzing
• disturbance optimization

Questions

Interesting Factoids

Key Sequence

Notation

New Concepts

• disturbance optimization
• falsification through planning
  • Heuristic Search
  • monte-carlo tree search falsification

Important Results / Claims

Questions

Interesting Factoids