The following pages link to (Q4952904):
Displaying 9 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)
- Aggregation of stochastic automata networks with replicas (Q1434417) (← 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)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
- Iterative Decomposition and Aggregation of Labeled GSPNs (Q6487394) (← links)