get_maximal_end_components

get_maximal_end_components(

model: SparseModel,

) → MaximalEndComponentDecomposition

Compute the maximal end components of a nondeterministic sparse model.

Parameters:

model – Sparse MDP, POMDP, Markov automaton or stochastic game.

Returns:

An iterable decomposition into maximal end components.