TY - RPRT TI - Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning AU - Yivan Zhang AU - Ziyan Luo AU - Manuel Baltieri PY - 2026 UR - https://arxiv.org/abs/2606.25357 ID - 2606.25357 ER -