Pages that link to "Item:Q1753998"
From MaRDI portal
The following pages link to Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998):
Displaying 7 items.
- Reasoning about proportional lumpability (Q832089) (← links)
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Directed graph encoding in quantum computing supporting edge-failures (Q2097414) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Proportional lumpability and proportional bisimilarity (Q2139185) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Quantum encoding of dynamic directed graphs (Q6151614) (← links)
