@article{compositionalbehavioralsemanticsforstate,
  title = {Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning},
  author = {Yivan Zhang and Ziyan Luo and Manuel Baltieri},
  year = {2026},
  eprint = {2606.25357},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.25357},
}