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