{"id":"arxiv/2604.04923","url":"https://arxiv.org/abs/2604.04923","tags":["cs.LG","cs.LO","eess.SY","math.AT"],"score":0,"title":"Stratifying Reinforcement Learning with Signal Temporal Logic","domain":"cs.LG","source":"arxiv","authors":["Justin Curry","Alberto Speranzon"],"reviews":0,"subject":"cs.LG","summary":"In this paper, we develop a stratification-based semantics for Signal Temporal Logic (STL) in which each atomic predicate is interpreted as a membership test in a stratified space. This perspective reveals a novel correspondence principle between stratification theory and STL, showing that most STL formulas can be viewed as inducing a stratification of space-time. The significance of this interpretation is twofold. First, it offers a fresh theoretical framework for analyzing the structure of the embedding space generated by deep reinforcement learning (DRL) and relates it to the geometry of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-06","reactions":{}}