SU-CS238V JAN232025

Key Sequence

Notation

New Concepts

• disturbance optimization
• falsification through planning
  • Heuristic Search
  • monte-carlo tree search falsification

Important Results / Claims

Questions

Interesting Factoids