Baum-Welch for all kind of Markov model
Project description
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, jajapy
can 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,
jajapy
will generate models in jajapy format).
Documentation
Available on readthedoc
About the author
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
jajapy-0.10.8.tar.gz
(62.1 kB
view details)
Built Distribution
jajapy-0.10.8-py3-none-any.whl
(79.8 kB
view details)
File details
Details for the file jajapy-0.10.8.tar.gz
.
File metadata
- Download URL: jajapy-0.10.8.tar.gz
- Upload date:
- Size: 62.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.12
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | d853037b9c8b77b8cd2115a1f7197e158aadd0c885d3b680e40f36547d54182c |
|
MD5 | 1d64825e64f8439e4df950f98f26687d |
|
BLAKE2b-256 | e170e25a20bd991f201d93639f8decf0a7377fc6849ae75986d5a353422b550f |
File details
Details for the file jajapy-0.10.8-py3-none-any.whl
.
File metadata
- Download URL: jajapy-0.10.8-py3-none-any.whl
- Upload date:
- Size: 79.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.12
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | a55ab200cae57cde29abeae24502c054e6130ee01e393adf382223a9bf77acea |
|
MD5 | 70c47341de404974d91103c2001abf0d |
|
BLAKE2b-256 | 3179b9c8e21927b2718f4f3c44041400e10bda296b6bc6f42e0dcb23bbc9e3b6 |