Similar Items: Coalgebras for Bisimulation of Weighted Automata over Semirings
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
- Feasability of Learning Weighted Automata on a Semiring
- Weak bisimulation for coalgebras over order enriched monads
- Relating coalgebraic notions of bisimulation
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Cost Preserving Bisimulations for Probabilistic Automata