Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
A revised arXiv paper (v2) studies reinforcement learning problems in which agents must achieve goals that unfold over long time horizons, a setting commonly handled by encoding tasks as deterministic finite automata. The authors propose representing these tasks with causal diagrams built from temporal logic, aiming to give agents a structured way to reason about extended objectives. The update is a replacement version of the original June 2023 preprint.