@misc{indiciaef8232935b5a5, title = {A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)}, author = {Pedro H. Azevedo de Amorim and Mayuko Kori and Koko Muroya}, year = {2026}, url = {https://arxiv.org/abs/2604.01103}, note = {Source identifier: 2604.01103} }