Pages that link to "Item:Q1285589"
From MaRDI portal
The following pages link to Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589):
Displaying 7 items.
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
- Lumpable continuous-time stochastic automata networks. (Q1810536) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Lowerbounds for Bisimulation by Partition Refinement (Q6135758) (← links)
