---
title: "SU-CS238V JAN232025"
source: https://www.jemoka.com/posts/kbhjan232025/
date: 2025-01-23
---

Key Sequence Notation New Concepts disturbance optimization falsification through planning Heuristic Search monte-carlo tree search falsification Important Results / Claims Questions Interesting Factoids
