Pages that link to "Item:Q1014448"
From MaRDI portal
The following pages link to Optimal state-space lumping in Markov chains (Q1014448):
Displayed 11 items.
- Tempus fugit: How to plug it (Q997994) (← links)
- Probabilistic weak simulation is decidable in polynomial time (Q1029062) (← links)
- Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis (Q1761681) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- A preorder relation for Markov reward processes (Q2643389) (← links)
- Efficient CTMC Model Checking of Linear Real-Time Objectives (Q3000642) (← links)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems (Q3535628) (← links)
- Towards State Space Reduction Based on T-Lumpability-Consistent Relations (Q3543307) (← links)