IOAlergia (for MDP)

class jajapy.IOAlergia

Class for an IOAlergia algorithm described here: https://arxiv.org/pdf/1212.3873.pdf

fit(sample: Set, epsilon: float, stormpy_output: bool = True, output_file_prism: Optional[str] = None)

Fits the model according to traces.

Parameters

sampleSet: A trainig set.
epsilonfloat: Espilon parameter for the compatibility test. Should be between 0 and 1 (0 excluded).
stormpy_output: bool, optional: If set to True the output model will be a Stormpy sparse model. Default is True.
output_file_prismstr, optional: If set, the output model will be saved in a prism file at this location. Otherwise the output model will not be saved. This parameter is ignored if the model under learning is a HMM or a GoHMM.

MDP or stormpy.SparseMdp: The fitted MDP. If stormpy_output is set to False or if stormpy is not available on the machine it returns a jajapy.MDP, otherwise it returns a stormpy.SparseMdp