jajapy is a python library implementing the Baum-Welch algorithm on various kinds of Markov models.
jajapy generates models which are compatible with the Stormpy model checker. Thus, jajapycan be use as a learning extension to the Storm model checker.
jajapy provides:
| Markov Model | Learning Algorithm(s) |
|---|---|
| MC | Baum-Welch for MCs Alergia (ref) |
| MDP | Baum-Welch for MDPs (ref) Active Baum-Welch (ref) IOAlergia (ref) |
| CTMC | Baum-Welch for CTMCs Baum-Welch for synchronous compositions of CTMCs |
| PCTMC | Baum-Welch for PCTMCs (ref) |
| HMM | Baum-Welch for HMMs (ref) |
| GoHMM | Baum-Welch for GoHMMs (ref) |
jajapy is compatible with Prism and Storm.
pip install jajapy
- numpy
- scipy
- alive-progress
- sympy
- stormpy (recommended: if stormpy is not installed,
jajapywill generate models in jajapy format).
Available on readthedoc