Fallenstein, 2015 — Vingean Reflection: Reliable Reasoning for Self-Improving Agents

Formalizes how an agent can reason about smarter successors without predicting their exact actions (Vingean reflection / tiling).

Chapter-grouped bibliography All reference cards