Stratifying Reinforcement Learning with Signal Temporal Logic
arXiv:2604.04923v1 Announce Type: new
Abstract: 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 revea…