The following pages link to (Q4798042):
Displayed 5 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)