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