GenerateMonitorVerifierOptions¶

Warning

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

class GenerateMonitorVerifierOptions[ValueType]¶

Options for generating the monitor verifier POMDP

Template arguments:

Available specializations:

Construction

The default specialization is GenerateMonitorVerifierOptions[float].

Members¶

property GenerateMonitorVerifierOptions.accepting_label¶: Label of accepting monitor states

property GenerateMonitorVerifierOptions.horizon_label¶: Label of monitor states reaching the horizon

property GenerateMonitorVerifierOptions.step_prefix¶: Prefix of the labels of monitor steps

property GenerateMonitorVerifierOptions.use_restart_semantics¶: Use restart semantics instead of a sink state