Introduction
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.
Main features
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.
Installation
pip install jajapy
Requirements
- numpy
- scipy
- alive-progress
- sympy
- stormpy (recommended: if stormpy is not installed,
jajapywill generate models in jajapy format).
Documentation
Available on readthedoc
About the author
1 maintainer
Release files for jajapy 0.10.8
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| jajapy-0.10.8.tar.gz | 62.1 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| jajapy-0.10.8-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 141.8 kB
Release files / jajapy-0.10.8.tar.gz
| Download URL | jajapy-0.10.8.tar.gz |
|---|---|
| Size | 62.1 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
d853037b9c8b77b8cd2115a1f7197e158aadd0c885d3b680e40f36547d54182c
|
|
BLAKE2b-256 checksum How to use checksums |
e170e25a20bd991f201d93639f8decf0a7377fc6849ae75986d5a353422b550f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.10.12
|
Release files / jajapy-0.10.8-py3-none-any.whl
| Download URL | jajapy-0.10.8-py3-none-any.whl |
|---|---|
| Size | 79.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a55ab200cae57cde29abeae24502c054e6130ee01e393adf382223a9bf77acea
|
|
BLAKE2b-256 checksum How to use checksums |
3179b9c8e21927b2718f4f3c44041400e10bda296b6bc6f42e0dcb23bbc9e3b6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.10.12
|
