prepare_pomdp_for_qualitative_search¶
Warning
The stormpy developer API is internal and can be subject to change.
- prepare_pomdp_for_qualitative_search(
- pomdp: stormpy.developer.storage._storage._SparsePomdp_Double,
- formula: stormpy.logic.Formula,
Make all states absorbing from which the target is not reached almost surely