create_observation_trace_unfolder

create_observation_trace_unfolder(
model: SparsePomdp,
risk: Sequence[object],
expression_manager: ExpressionManager,
*,
use_restart_semantics: bool = True,
) → ObservationTraceUnfolder

Create an unfolder which turns observation traces of the POMDP into MDPs.

Parameters:

  • model – POMDP.

  • risk – Risk for each state of the POMDP.

  • expression_manager – Expression manager for the variables of the unfolded MDPs.

  • use_restart_semantics – Whether restart semantics are used instead of a sink state.

Returns:

The observation trace unfolder.