TY - RPRT TI - Coalgebras for Bisimulation of Weighted Automata over Semirings AU - Purandar Bhaduri PY - 2023 DO - 10.46298/lmcs-19(1:4)2023 UR - https://arxiv.org/abs/2109.00732 ID - 2109.00732 ER -