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

Key Sequence

Notation

New Concepts

• reinforcement learning falsification

Important Results / Claims

• how to pick a falsification method?

Questions

Interesting Factoids