ApplyFiniteSchedulerToPomdp¶

Warning

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

class ApplyFiniteSchedulerToPomdp[ValueType](pomdp: stormpy.models.SparsePomdp[ValueType])¶

Transformer applying an unknown finite-state controller to a POMDP

Template arguments:

Available specializations:

Construction

The specialization can be inferred from the first positional constructor argument (alternatively, the pomdp keyword argument).

Members¶

ApplyFiniteSchedulerToPomdp.transform(self: stormpy.pomdp.developer.ApplyFiniteSchedulerToPomdp[ValueType], application_mode: stormpy.pomdp.PomdpFscApplicationMode = <PomdpFscApplicationMode.SIMPLE_LINEAR: 1>) → stormpy.models.SparseModel[stormpy.numbers.RationalFunction]¶: Return the parametric Markov chain induced by the unknown FSC