BeliefBasedModelCheckerOptions

Warning

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

class BeliefBasedModelCheckerOptions[ValueType]

Options for belief-based verification of POMDPs

Template arguments:

• ValueType (type)

Available specializations:

• BeliefBasedModelCheckerOptions[float]

• BeliefBasedModelCheckerOptions[stormpy.numbers.Rational]

Construction

The default specialization is BeliefBasedModelCheckerOptions[float].

Members

property BeliefBasedModelCheckerOptions.build_choice_labeling

Build choice labels for the belief MDP

property BeliefBasedModelCheckerOptions.clipping_resolutions

Clipping resolution for each observation

property BeliefBasedModelCheckerOptions.cut_zero_gap

Cut non-target beliefs whose preprocessing bounds have zero gap. Incompatible with generating a policy

property BeliefBasedModelCheckerOptions.exploration_queue_order

Order in which discovered beliefs are explored

property BeliefBasedModelCheckerOptions.generate_policy

Generate a finite-state controller

property BeliefBasedModelCheckerOptions.max_exploration_size

Maximal number of discovered beliefs, None for no limit

property BeliefBasedModelCheckerOptions.max_exploration_time

Maximal exploration time in seconds, None for no limit

property BeliefBasedModelCheckerOptions.use_clipping

Use belief clipping