Pages that link to "Item:Q1014448"
From MaRDI portal
The following pages link to Optimal state-space lumping in Markov chains (Q1014448):
Displayed 16 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- Combining decomposition and reduction for state space analysis of a self-stabilizing system (Q394332) (← links)
- 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)
- Semi-Product-Form Solution for PEPA Models with Functional Rates (Q2843075) (← 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)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)