create_iterative_policy_search

create_iterative_policy_search(

model: SparsePomdp,

property: Property | Formula,

*,

environment: Environment | None = None,

) → IterativePolicySearch

Create a solver for qualitative reachability queries (almost-sure reachability) on POMDPs.

A solver runs a single analysis, i.e., either compute_winning_region or analyze_for_initial_states. Create a new solver for each further analysis.

Parameters:

• model – POMDP, see also prepare_for_qualitative_search().

• property – Reachability probability property or formula.

• environment – (optional) Environment configuring the solvers. Defaults to stormpy.environments.default().

Returns:

The solver.