amorim-2026-a:
  type: misc
  title: A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
  author:
  - name: Amorim
    given-name: Pedro Henrique
    prefix: Azevedo de
  - Kori, Mayuko
  - Muroya, Koko
  date: 2026-04
  serial-number:
    arxiv: '2604.01103'