compute_steady_state_distribution¶
- compute_steady_state_distribution(
- model,
- *,
- environment: Environment | None = None,
Compute the steady-state (aka stationary) distribution.
- Parameters:
model – Sparse deterministic model (DTMC or CTMC). Parametric models are not supported.
environment – (optional) Environment configuring the solvers. Defaults to
stormpy.environments.default().
- Returns:
Quantitative result containing the steady-state probability for each state.