The following pages link to (Q4952904):
Displaying 6 items.
- Optimal state-space lumping in Markov chains (Q1014448) (← links)
- Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- A preorder relation for Markov reward processes (Q2643389) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)
