---
title: "SU-CS238V JAN162025"
source: https://www.jemoka.com/posts/kbhsu_cs238v_jan162025/
date: 2025-01-16
---

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
