create_iterative_policy_search

Warning

The stormpy developer API is internal and can be subject to change.

create_iterative_policy_search(

env: stormpy.environments.Environment,

pomdp: stormpy.developer.storage._storage._SparsePomdp_Double,

formula: stormpy.logic.Formula,

options: stormpy.pomdp.developer._pomdp.MemlessSearchOptions,

) → storm::pomdp::IterativePolicySearch<double>

Create the iterative policy search for a qualitative reachability query