Pages that link to "Item:Q5758108"
From MaRDI portal
The following pages link to A Symbolic Algorithm for Optimal Markov Chain Lumping (Q5758108):
Displayed 5 items.
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- Combining decomposition and reduction for state space analysis of a self-stabilizing system (Q394332) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Two-layer symbolic representation for stochastic models with phase-type distributed events (Q2792888) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)