verify_with_belief_unfolding

Warning

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

verify_with_belief_unfolding(

env: stormpy.environments.Environment,

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

formula: stormpy.logic.Formula,

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

) → stormpy.pomdp.developer._pomdp._BeliefBasedModelCheckerResult_Double

verify_with_belief_unfolding(

env: stormpy.environments.Environment,

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

formula: stormpy.logic.Formula,

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

) → stormpy.pomdp.developer._pomdp._BeliefBasedModelCheckerResult_Rational

Approximate an unbounded reachability probability or expected reachability reward by unfolding the belief MDP

Approximate an unbounded reachability probability or expected reachability reward by unfolding the belief MDP