verify_with_belief_discretization¶
Warning
The stormpy developer API is internal and can be subject to change.
- verify_with_belief_discretization(
- env: stormpy.environments.Environment,
- pomdp: stormpy.developer.storage._storage._SparsePomdp_Double,
- formula: stormpy.logic.Formula,
- resolution: SupportsInt | SupportsIndex,
- use_dynamic: bool,
- options: stormpy.pomdp.developer._pomdp._BeliefBasedModelCheckerOptions_Double,
- verify_with_belief_discretization(
- env: stormpy.environments.Environment,
- pomdp: stormpy.developer.storage._storage._SparsePomdp_Rational,
- formula: stormpy.logic.Formula,
- resolution: SupportsInt | SupportsIndex,
- use_dynamic: bool,
- options: stormpy.pomdp.developer._pomdp._BeliefBasedModelCheckerOptions_Rational,
Approximate an unbounded reachability probability or expected reachability reward by discretizing the belief space
Approximate an unbounded reachability probability or expected reachability reward by discretizing the belief space