IterativePolicySearch

class IterativePolicySearch[ValueType]

Solver for POMDPs that solves qualitative queries. A solver runs a single analysis; create a new one for each further analysis.

Template arguments:

• ValueType (type)

Available specializations:

• IterativePolicySearch[float]

Members

IterativePolicySearch.analyze_for_initial_states(

self: stormpy.pomdp.IterativePolicySearch[ValueType],

k: SupportsInt | SupportsIndex,

) → bool

Whether a winning policy for the initial states exists

IterativePolicySearch.compute_winning_region(

self: stormpy.pomdp.IterativePolicySearch[ValueType],

k: SupportsInt | SupportsIndex,

) → None

Compute the winning region with the given lookahead

property IterativePolicySearch.last_winning_region

Last computed winning region