[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/course/cs238v/kbhsu_cs238v_jan162025.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- 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