BeliefBasedModelCheckerResult

class BeliefBasedModelCheckerResult[ValueType]

Result of belief-based verification of a POMDP

Template arguments:

• ValueType (type)

Available specializations:

• BeliefBasedModelCheckerResult[float]

• BeliefBasedModelCheckerResult[stormpy.numbers.Rational]

Members

property BeliefBasedModelCheckerResult.completed_exploration

Whether the exploration was completed

property BeliefBasedModelCheckerResult.policy

Finite-state controller, None if no policy was generated

property BeliefBasedModelCheckerResult.statistics

Statistics of the run

property BeliefBasedModelCheckerResult.value

Computed bound on the value