prepare_for_qualitative_search¶
- prepare_for_qualitative_search(
- model: SparsePomdp,
- property: Property | Formula,
Prepare the POMDP for the qualitative analysis by making all states absorbing from which the target is not reached almost surely.
- Parameters:
model – POMDP.
property – Reachability probability property or formula.
- Returns:
The prepared POMDP.