Alergia (for MC)

class jajapy.Alergia

Class for general ALERGIA algorithm described here: https://grfia.dlsi.ua.es/repositori/grfia/pubs/57/icgi1994.pdf

fit(traces: Set, alpha: float = 0.1, stormpy_output: bool = True, output_file_prism: Optional[str] = None)

Fits a MC according to traces.

Parameters

tracesSet

The training set.

alphafloat, optional

_description_, by default 0.1

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.

Returns

MC or stormpy.SparseDtmc

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