SU-CS238V JAN162025

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