MonitorVerifier

class MonitorVerifier[ValueType](

product: stormpy.models.SparsePomdp[ValueType],

observation_map: collections.abc.Mapping[tuple[SupportsInt | SupportsIndex, bool], SupportsInt | SupportsIndex],

observation_default_action: collections.abc.Mapping[SupportsInt | SupportsIndex, str],

)

Container for monitor verifier POMDP with associated objects

Template arguments:

• ValueType (type)

Available specializations:

• MonitorVerifier[float]

• MonitorVerifier[stormpy.numbers.Rational]

Construction

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

Members

MonitorVerifier.get_product(

self: stormpy.pomdp.MonitorVerifier[ValueType],

) → stormpy.models.SparsePomdp[ValueType]

Product POMDP

property MonitorVerifier.observation_default_action

Default action label for each observation

property MonitorVerifier.observation_map

Mapping from (monitor state, accepting) to observations of the product