{"id":"arxiv/2606.25357","url":"https://arxiv.org/abs/2606.25357","tags":["cs.LG","cs.AI","math.CT"],"score":0,"title":"Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning","domain":"cs.LG","source":"arxiv","authors":["Yivan Zhang","Ziyan Luo","Manuel Baltieri"],"reviews":0,"subject":"cs.LG","summary":"State abstraction plays a key role in scaling reinforcement learning to complex but structured systems. In studying such systems, a wide range of behavioral structures have been studied in reinforcement learning, including value functions, invariants, bisimulation relations, and behavioral metrics. However, a general principle for determining what structures are provably preserved under state abstraction is still lacking. In this paper, we present a unified framework for defining and analyzing behavioral structures in reinforcement learning. Our framework provides a compositional way to…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}