compute_expected_number_of_visits

compute_expected_number_of_visits(

model,

*,

environment: Environment | None = None,

) → CheckResult

Compute the expected number of visits of each state, starting from the initial states.

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 expected number of visits for each state.